Stefan Mengel | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/stefan-mengel/Stefan MengelHugo Blox Builder (https://hugoblox.com)en-usFri, 01 Jan 2021 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngStefan Mengelhttps://ac.tuwien.ac.at/team/stefan-mengel/Proof Complexity of Symbolic QBF Reasoninghttps://ac.tuwien.ac.at/publication/proof-complexity-of-symbolic-qbf-reasoning-2/Fri, 01 Jan 2021 00:00:00 +0000https://ac.tuwien.ac.at/publication/proof-complexity-of-symbolic-qbf-reasoning-2/Proof Complexity of Symbolic QBF Reasoninghttps://ac.tuwien.ac.at/publication/proof-complexity-of-symbolic-qbf-reasoning/Fri, 01 Jan 2021 00:00:00 +0000https://ac.tuwien.ac.at/publication/proof-complexity-of-symbolic-qbf-reasoning/Knowledge Compilation Meets Communication Complexityhttps://ac.tuwien.ac.at/publication/knowledge-compilation-meets-communication-complexity/Fri, 01 Jan 2016 00:00:00 +0000https://ac.tuwien.ac.at/publication/knowledge-compilation-meets-communication-complexity/On Compiling CNFs into Structured Deterministic DNNFshttps://ac.tuwien.ac.at/publication/on-compiling-cnfs-into-structured-deterministic-dnnfs/Thu, 01 Jan 2015 00:00:00 +0000https://ac.tuwien.ac.at/publication/on-compiling-cnfs-into-structured-deterministic-dnnfs/