A Unified Proof System for QBF Preprocessing.

Marijn Heule, Martina Seidl, Armin Biere

Browse the full CADE paper archive.