Browsing Engineering (Faculty of) by Subject "branching heuristics"
Now showing items 1-1 of 1
-
Towards a Theoretical Understanding of the Power of Restart in SAT solvers
(University of Waterloo, 2019-09-09)Restart policy is a widely used class of techniques integral to the efficiency of conflict-driven clause-learning (CDCL) SAT solvers. While the utility of such policies has been well-established, to-date we still lack a ...