Stefan Mengel

Recent Publications

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