| Distributed SMT Solving Based on Dynamic Variable-level Partitionings |
蔡少伟 |
CAV 2024 (杰出论文奖) |
slides |
| An Efficient Local Search Solver for Mixed Integer Programming |
林鹏 |
CP 2024 (最佳论文奖) |
slides |
| Formal Verification of the Cache System in the RISC-V Core |
陈韬宇 |
RSVC 2024 |
slides |
| Local Search and Its Application in CDCL/CDCL(T) for SAT and SMT |
蔡少伟 |
FMCAD 2023 (特邀报告) |
slides |
| Configuration Checking Based Local Search |
蔡少伟 |
SOCS 2021 (特邀报告) |
slides |
| A Tutorial on SAT Solving |
蔡少伟 |
第六届印度冬季SAT+SMT学校 (特邀报告) |
slides |
| Hybrid and Parallel Algorithms for SAT and MILP |
蔡少伟 |
SKCAM 2025, FSM 2025 (特邀报告) |
slides |