Solving QBF by Clause Selection.

Mikols Janota, Joo Marques-Silva

Browse the full IJCAI paper archive.