The Seventh QBF Solvers Evaluation (QBFEVAL’10)
From MaRDI portal
Publication:4930592
DOI10.1007/978-3-642-14186-7_20zbMath1306.68173OpenAlexW1547005447MaRDI QIDQ4930592
Oliver Kullmann, Armando Tacchella, Claudia Peschiera, Luca Pulina, Inês Lynce, Uwe Bubeck
Publication date: 29 September 2010
Published in: Theory and Applications of Satisfiability Testing – SAT 2010 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14186-7_20
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
The QBF Gallery: behind the scenes ⋮ Logic-based ontology comparison and module extraction, with an application to DL-Lite ⋮ Abstraction-Based Algorithm for 2QBF ⋮ Failed Literal Detection for QBF ⋮ A multiparametric view on answer set programming ⋮ The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
Uses Software
This page was built for publication: The Seventh QBF Solvers Evaluation (QBFEVAL’10)
