Browsing Engineering (Faculty of) by Author "Li, Chunxiao"
Now showing items 1-2 of 2
-
Towards a Theoretical Understanding of the Power of Restart in SAT solvers
Li, Chunxiao (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 ... -
Understanding and Improving SAT Solvers via Proof Complexity and Reinforcement Learning
Li, Chunxiao (University of Waterloo, 2023-12-18)Despite the fact that the Boolean satisfiability (SAT) problem is NP-complete and believed to be intractable, SAT solvers are routinely used by practitioners to solve hard problems in wide variety of fields such as software ...