Solving QBF with Counterexample Guided Refinement
From MaRDI portal
Publication:2843327
DOI10.1007/978-3-642-31612-8_10zbMath1273.68178MaRDI QIDQ2843327
Mikoláš Janota, William Klieber, Edmund M. Clarke, João P. Marques-Silva
Publication date: 12 August 2013
Published in: Theory and Applications of Satisfiability Testing – SAT 2012 (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.422.9685
68Q25: Analysis of algorithms and problem complexity
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Uses Software