Tactix: Towards a Programmable Strategy Interface for Flexible SAT Solving

Published: