Publications

Export 1 results:
Filters: Author is Clarke, Edmund  [Clear All Filters]
2016
Janota, M., W. Klieber, J. Marques-Silva, and E. Clarke, "Solving QBF with counterexample guided refinement", Artificial Intelligence, vol. 234: Elsevier, pp. 1–25, 2016.