| 标题 | 报告人 | 报告场合 | 幻灯片 |
|---|---|---|---|
| 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 |