State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China
Email: firstname.lastname@example.org; email@example.com
My research focus on Constraint Solving (particularly SAT, SMT, and integer programming) and formal verification, as well as their applications in industries.
For published papers, please visit my DBLP
and Google Scholar Citations
A Graduate Course in Constraint Solving
The codes in our group can be found here: https://github.com/shaowei-cai-group
- Best Paper Award, "Deep Cooperation of CDCL and Local Search for SAT", SAT 2021 Conference
- Our SAT solvers have won more than 10 Gold medals in Main tracks and parallel Main tracks in SAT Competitions; particularly, our parallel SAT solver named PRS won all parallel tracks and ranked 2nd in Cloud track in SAT Competition 2023.
- Our SMT solver Z3++ have won "Biggest Lead" and "Largest Contribution" in Model Validation track over all theories in SMT Competition 2022 and 2023. Particularly, Z3++ won many tracks of LIA, NIA, NRA Divisions.