Author:
Publication: Artificial Intelligence
Solving QBF with counterexample guided refinement
Truncated incremental search