Solving QBF with Counterexample Guided Refinement.

Mikols Janota, William Klieber, Joo Marques-Silva, Edmund M. Clarke

Browse the full SAT paper archive.