| Distributed SMT Solving Based on Dynamic Variable-level Partitionings |
Shaowei Cai |
CAV 2024 (Distinguished Paper Award) |
slides |
| An Efficient Local Search Solver for Mixed Integer Programming |
Peng Lin |
CP 2024 (Best Paper Award) |
slides |
| Formal Verification of the Cache System in the RISC-V Core |
Taoyu Chen |
RSVC 2024 |
slides |
| Local Search and Its Application in CDCL/CDCL(T) for SAT and SMT |
Shaowei Cai |
FMCAD 2023 (Invited Talk) |
slides |
| Configuration Checking Based Local Search |
Shaowei Cai |
SOCS 2021 (Invited Talk) |
slides |
| A Tutorial on SAT Solving |
Shaowei Cai |
6th Indian Winter School of SAT+SMT (Invited Talk) |
slides |
| Hybrid and Parallel Algorithms for SAT and MILP |
Shaowei Cai |
SKCAM 2025, FSM 2025 (Invited Talk) |
slides |