Towards a Complexity-theoretic Understanding of Restarts in SAT solvers
SAT, pp. 233-249, 2020.
Restarts are 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 empirically, until now we didn't have a complexity-theoretic understanding of why restart policies are crucial to the power of CDCL SAT solvers. I...More
PPT (Upload PPT)