Compositional Propositional Proofs

DOI10.1007/978-3-662-48899-7_31zbMath1471.68310OpenAlexW2294403058MaRDI QIDQ3460074

Armin Biere, Marijn J. H. Heule

Publication date: 12 January 2016

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48899-7_31

Mathematics Subject Classification ID

Logic in computer science (03B70) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (4)

Unnamed Item ⋮ Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer ⋮ DRABT ⋮ DRAT Proofs for XOR Reasoning

Uses Software

• MiniSat
• PicoSAT
• DRAT-trim

This page was built for publication: Compositional Propositional Proofs