Rethinking Clause Management for CDCL SAT Solvers

Yalun Cai, Xindi Zhang, Zhengyuan Shi +2

Boolean Satisfiability (SAT) solving underpins a wide range of applications in Electronic Design Automation (EDA), particularly formal verification. However, this paper observes th…