Conditional Autarkies and Globally Blocked Clauses
This page provides source code for our invited paper at ATVA'19:
Benjamin Kiesl , Marijn Heule, Armin Biere. Truth
Assignments as Conditional Autarkies. To be published in
Proc. 17th Intl. Symp. on Automated Technology for
Verification and Analysis (ATVA'19), Lecture Notes in Computer
Science (LNCS), 17 pages SPringer 2019.