From DQBF to QBF by dependency elimination

DOI10.1007/978-3-319-66263-3_21zbMath1496.68372OpenAlexW2744754855MaRDI QIDQ1680263

Andreas Karrenbauer, Bernd Becker, Ruben Becker, Ralf Wimmer, Christoph Scholl

Publication date: 15 November 2017

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

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)

Solving dependency quantified Boolean formulas using quantifier localization ⋮ The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1 ⋮ Certified DQBF solving by definition extraction ⋮ DQBDD: an efficient BDD-based DQBF solver

This page was built for publication: From DQBF to QBF by dependency elimination