1 citations · 1 across the 12 of their papers we have counts for
3 papers · 1 filter
Understanding CDCL Solvers via Scalability Studies and Proofdoors
Shimin Zhang, Yechuan Xia, Chunxiao Li +3
Over the past several decades, CDCL SAT solvers have proven remarkably effective on large industrial formulas, despite SAT being NP-complete and widely believed to be intractable.…
Extended Resolution Clause Learning via Dual Implication Points
Sam Buss, Jonathan Chung, Vijay Ganesh +1
We present a new extended resolution clause learning (ERCL) algorithm, implemented as part of a conflict-driven clause-learning (CDCL) SAT solver, wherein new variables are dynamic…
A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
Chunxiao Li, Charlie Liu, Jonathan Chung +3
Restart policy is an important technique used in modern Conflict-Driven Clause Learning (CDCL) solvers, wherein some parts of the solver state are erased at certain intervals durin…