Stefan Mengel and Friedrich Slivovsky

Recent Publications

Proof Complexity of Symbolic QBF Reasoning

2021