Tactix: Towards a Programmable Strategy Interface for Flexible SAT Solving

Haoze Wu, André Schidler, Armin Biere +1

Modern SAT solvers combine a rich repertoire of proof rules with sophisticated strategies that determine when and how to apply them. Often, the internal implementations are tightly…