Recovering and Utilizing Partial Duality in QBF
From MaRDI portal
Publication:5326455
DOI10.1007/978-3-642-39071-5_8zbMath1390.68573OpenAlexW1778004173MaRDI QIDQ5326455
Alexandra Goultiaeva, Fahiem Bacchus
Publication date: 5 August 2013
Published in: Theory and Applications of Satisfiability Testing – SAT 2013 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-39071-5_8
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Quantified maximum satisfiability ⋮ The QBF Gallery: behind the scenes ⋮ QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving ⋮ Incremental Determinization ⋮ GhostQ
Uses Software
This page was built for publication: Recovering and Utilizing Partial Duality in QBF
