A little blocked literal goes a long way

DOI10.1007/978-3-319-66263-3_18zbMath1496.68370OpenAlexW2742816678MaRDI QIDQ1680260

Martina Seidl, Benjamin Kiesl, Marijn J. H. Heule

Publication date: 15 November 2017

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

Mathematics Subject Classification ID

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)

Never trust your solver: certification for SAT and QBF ⋮ Towards Uniform Certification in QBF ⋮ How QBF expansion makes strategy extraction hard ⋮ Hardness and optimality in QBF proof systems modulo NP

Uses Software

• DepQBF
• DRAT-trim

This page was built for publication: A little blocked literal goes a long way