Proof Complexity of Symbolic QBF Reasoning.

Stefan Mengel, Friedrich Slivovsky

Browse the full SAT paper archive.