Janota, Mikoláš https://orcid.org/0000-0003-3487-784X
Klieber, William
Marques-Silva, Joao
Clarke, Edmund
Funding for this research was provided by:
SFI (09/IN.1/I2618)
CMU-Portugal (CMUP-EPB/TIC/0049/2013)
FCT (PTDC/EIA-CCO/123051/2010)
PIDDAC (PEst-OE/EEI/LA0021/2013)
This article is maintained by: Elsevier
Article Title: Solving QBF with counterexample guided refinement
Journal Title: Artificial Intelligence
CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.artint.2016.01.004
Content Type: article
Copyright: Copyright © 2016 Elsevier B.V. All rights reserved.