Academic Resources

An Efficient Local Search Solver for Mixed Integer Programming
The 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), Best Paper Award - Conference Talk
Sep 2, 2024
Slides
Distributed SMT Solving Based on Dynamic Variable-level Partitionings
The 36th International Conference on Computer Aided Verification (CAV 2024), Distinguished Paper Award - Conference Talk
Jul 24, 2024
Slides
Formal Verification of the Cache System in the RISC-V Core
Jan 1, 2024
Slides
Local Search and Its Application in CDCL/CDCL(T) for SAT and SMT
23th Formal Methods in Computer-Aided Design (FMCAD 2023), Invited Talk (Shaowei Cai)
Oct 23, 2023
Slides
A Tutorial on SAT Solving
6th Indian Winter SAT+SMT School, Invited Talk (Shaowei Cai)
Dec 12, 2021
Slides
Configuration Checking Based Local Search
14th Annual Symposium on Combinatorial Search (SOCS 2021), Invited Talk (Shaowei Cai)
Jun 12, 2021
Slides