Stefan Mengel | AC Group | TU Wienhttps://ac.notready.eu/author/stefan-mengel/Stefan MengelHugo Blox Builder (https://hugoblox.com)en-usFri, 01 Jan 2021 00:00:00 +0000https://ac.notready.eu/media/logo_hu10234977157890132473.pngStefan Mengelhttps://ac.notready.eu/author/stefan-mengel/Proof Complexity of Symbolic QBF Reasoninghttps://ac.notready.eu/publication/proof-complexity-of-symbolic-qbf-reasoning-2/Fri, 01 Jan 2021 00:00:00 +0000https://ac.notready.eu/publication/proof-complexity-of-symbolic-qbf-reasoning-2/