Marlene Gründel | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/marlene-grundel/Marlene GründelHugo Blox Builder (https://hugoblox.com)en-usThu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/team/marlene-grundel/avatar_hu13509118363268889127.jpgMarlene Gründelhttps://ac.tuwien.ac.at/team/marlene-grundel/Bilateral Treewidth for QBF: Where Strategies and Resolution Meethttps://ac.tuwien.ac.at/publication/bilateral-treewidth-for-qbf-where-strategies-and-resolution-meet/Thu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/publication/bilateral-treewidth-for-qbf-where-strategies-and-resolution-meet/Gateways to Tractability for Satisfiability in Pearl’s Causal Hierarchyhttps://ac.tuwien.ac.at/publication/gateways-to-tractability-for-satisfiability-in-pearls-causal-hierarchy/Thu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/publication/gateways-to-tractability-for-satisfiability-in-pearls-causal-hierarchy/