Shaowei Cai

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.

中文主页

Here is my CV.

Publications

For published papers, please visit my DBLP and Google Scholar Citations

Talks

• A Tutorial on SAT Solving, 6th Indian Winter SAT+SMT School, Inviated talk
• Configuration Checking Based Local Search, 14th Annual Symposium on Combinatorial Search (SOCS 2021), Invited talk ( Configuration Checking is a generic idea for local search algorithms to address the cyclying issue.)

A Graduate Course in Constraint Solving

• Beginning And Constraint Models
• SAT Solving: Basis And CDCL
• SMT Solving: DPLL(T) And Eager Encoding
• SMT Solving: Combined Theories

Research

• Satisfiability Solving

• Combinatorial Optimization on Graphs

• Combinatorial Interaction Testing

• Automated Algorithm Configuration

Selected Awards/Honors

• Best Paper Award, "Deep Cooperation of CDCL and Local Search for SAT", SAT 2021 Conference
• Distinguished Doctoral Dissertation Award from Peking University, 2012
• Academic Innovation Award, Peking University, 2011

Selected Awards in Competitions

• 2 Gold Medals in SＭT Competition 2022 (Z3++ solver).
• Gold Medals in Main Track Parallel Track, Non-Limits Track， SAT Competition 2022.
• Silver Medal in EDA Challege 2021，afflited with SAT 2021.
• Gold Medals in Main Track SAT and Incremental Library Track, SAT Competition 2020.
• Gold Medal in FLoC 2018.
• Silver Award, Hard-combinatorial SAT track, SAT Competition 2014
• "Best Sequential Solver" in Random Track, SAT Challenge 2012
• First Prize in both Medium Sized categories (2vs2 and 4vs4), 2007 RoboCup China Open