Tactix: Towards a Programmable Strategy Interface for Flexible SAT Solving

MaRDI QIDQ7406622arXivFDO

Authors Haoze Wu, André Schidler, Armin Biere, Nina Narodytska

Publication date 2026

Published in arXiv

arXiv classification

cs.LO

This page was built for publication: Tactix: Towards a Programmable Strategy Interface for Flexible SAT Solving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7406622)