Solving QBF with counterexample guided refinement

TitleSolving QBF with counterexample guided refinement
Publication TypeJournal Article
Year of Publication2016
AuthorsJanota, M., W. Klieber, J. Marques-Silva, and E. Clarke
JournalArtificial Intelligence
Volume234
Pagination1–25