A resolution-style proof system for DQBF
From MaRDI portal
Publication:1680262
DOI10.1007/978-3-319-66263-3_20zbMath1496.03050OpenAlexW2743440074MaRDI QIDQ1680262
Publication date: 15 November 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-66263-3_20
Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (6)
Solving dependency quantified Boolean formulas using quantifier localization ⋮ Unnamed Item ⋮ Building strategies into QBF proofs ⋮ Reinterpreting dependency schemes: soundness meets incompleteness in DQBF ⋮ The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1 ⋮ Certified DQBF solving by definition extraction
This page was built for publication: A resolution-style proof system for DQBF
