47 citations · 92 across the 12 of their papers we have counts for
Showing 2024 · cs.LOShow all
2 papers · 2 filters
cs.LO2024
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…
cs.LO2024
Regular resolution effectively simulates resolution
Sam Buss, Emre Yolcu
Regular resolution is a refinement of the resolution proof system requiring that no variable be resolved on more than once along any path in the proof. It is known that there exist…