Multi-linear strategy extraction for QBF expansion proofs via local soundness

DOI10.1007/978-3-030-51825-7_30OpenAlexW3040470325MaRDI QIDQ2661367

Matthias Schlaipfer, Florian Zuleger, Georg Weissenbacher, Friedrich Slivovsky

Publication date: 7 April 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-51825-7_30

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Related Items (2)

Never trust your solver: certification for SAT and QBF ⋮ Towards Uniform Certification in QBF

Uses Software

• CAQE
• HQSpre

This page was built for publication: Multi-linear strategy extraction for QBF expansion proofs via local soundness