Proof Complexity of Symbolic QBF Reasoning

Stefan Mengel, Friedrich Slivovsky
January 2021
PDF Cite
Type
Technical Report