Truth Assignments as Conditional Autarkies
From MaRDI portal
Publication:3297584
DOI10.1007/978-3-030-31784-3_3zbMath1437.68132MaRDI QIDQ3297584
Armin Biere, Marijn J. H. Heule, Benjamin Kiesl
Publication date: 20 July 2020
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-31784-3_3
68R07: Computational aspects of satisfiability
Uses Software