20 citations · 33 across the 6 of their papers we have counts for
1 paper · 1 filter
Haoze Wu
In this project, we aimed to improve the runtime of Minisat, a Conflict-Driven Clause Learning (CDCL) solver that solves the Propositional Boolean Satisfiability (SAT) problem. We…