What a difference a variable makes

DOI10.1007/978-3-319-89963-3_5zbMath1423.68419OpenAlexW2797038806WikidataQ59065393 ScholiaQ59065393MaRDI QIDQ2324225

Armin Biere, Marijn J. H. Heule

Publication date: 16 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-89963-3_5

Mathematics Subject Classification ID

Related Items (7)

Unnamed Item ⋮ Simulating strong practical proof systems with extended resolution ⋮ Truth Assignments as Conditional Autarkies ⋮ \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML ⋮ Generating extended resolution proofs with a BDD-based SAT solver ⋮ Strong extension-free proof systems ⋮ Covered clauses are not propagation redundant

This page was built for publication: What a difference a variable makes