Report time:2022.10.25Tuesday 10.00
Tencent conference number:606-831-515
Title:EDAWith constraint solving
Abstract:EDA(Electronic Design Automation) software is called the mother of chips，Among them，The constraint solver isEDAThe underlying engine Bet365 login software. Introduction to this reportEDAinclude Boolean satisfiability problems (SAT), satisfiability modular theory (SMT) problem, and scheduling problem inEDA, and introduce the main solution methods.
Personal introduction: Cai Shaowei，Researcher at the Institute of Software, Chinese Academy of Sciences，Ph.D. Supervisor，Excellent Mentor of the Chinese Academy of Sciences，Received funding from the National Outstanding Youth Project。The main Bet365 login direction is constraint solving、Combination optimization、EDA(Electronic Design Automation) Algorithm. existCCF-APublished papers in top international journals and conferences50The remaining articles，The first of ten challenges to solve the Boolean satisfiability problem7challenges, obtainedSATConference Best Paper Award,AIJJournal5Most popular papers Bet365 login year，Invited to internationally renowned conferences in the field of combinatorial searchSOCS 2021Give a keynote report. Multiple international awardsSATContest andSMTThe winner Bet365 login competition, andEDARunner up in the competition。Proposed a pattern detection strategy，Effectively solve the important defect of local search - the loop phenomenon，Widely usedNPDifficult combinatorial optimization problem. Search designed+New method of reasoning to solve large-scale combinatorial optimization problems，In many famous combinatorial optimization problems such as the maximum clique，Picture coloring，Vertex Coverage，Collection coverage, etc.NPDifficult optimization problems remain at the forefront。He is also committed to the industrialization of Bet365 login，atEDA、Software Verification、Cloud computing、Scheduling、A series of projects have been launched in smart parks and other fields，Served asEDA2Leader of teamwork standards and editor-in-chief of formal direction Bet365 login open cooperation mechanism，InitiatedIJCAI workshop： Heuristic Search in Industries, and serves as program chair.
