Shaowei Cai


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


My research focus on Constraint Solving, particularly SAT, SMT, and 0-1 integer programming, as well as their applications in industries.


Here is my CV.


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



I have been focused on constraint solving and combinatorial optimization, and my research works are generally based on the methodologies of heuristic search and reasoning techniques.
Research in our group can be divided into the following project topics.

Some Generic Algorithmic Ideas I Proposed

Particularly, I would like to introduce Configuration Checking (CC), which is a generic and effective idea for local search. It aims to reduce the cycling phenomenon in local search, by considering the circumstance information (formally defined as configuration) of the variables. It prevents a variable to change its value if its configuration has not changed since the last time it changed value. This idea has witnessed great success in many famous NP hard problems. Here is a report on CC and its applications.

Professional Service

Selected Awards/Honors

Selected Awards in Competitions