Full Citation:
Stefan Mengel, Friedrich Slivovsky. Proof Complexity of Symbolic QBF Reasoning. 2021, Technical report AC-TR-21-011, Algorithms and Complexity Group, TU Wien.