Solving QBF with counterexample guided refinement.

Mikolás Janota William Klieber João Marques-Silva Edmund M. Clarke

Published in: Artif. Intell. (2016)

Keyphrases

uniform distribution
membership queries
model checking
lower bound
information retrieval
solving problems
boolean satisfiability