Email: shaoweicai.cs@gmail.com; caisw@ios.ac.cn
My research focus on Constraint Solving (particularly SAT, SMT, and integer programming) and formal verification, as well as their applications in industries.
中文主页
Publications
For published papers, please visit my DBLP
and Google Scholar Citations
Talks
A Graduate Course in Constraint Solving
Research
The codes in our group can be found here: https://github.com/shaowei-cai-group
Winning awards
- 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.