On QBF Proofs and Preprocessing.

Mikols Janota, Radu Grigore, Joo Marques-Silva

Browse the full LPAR paper archive.