Publications: Marlene Gründel

[1]	Bilateral Treewidth for QBF: Where Strategies and Resolution Meet Robert Ganian, Marlene Gründel 29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, Lisbon, Portugal, July 20-23, 2026 (Alexey Ignatiev, Stefan Szeider, eds.), volume 377 of LIPIcs, pages 16:1–16:20, 2026, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [bibtex] [pdf] [doi]
[2]	Gateways to Tractability for Satisfiability in Pearl’s Causal Hierarchy Robert Ganian, Marlene Gründel, Simon Wietheger Proceedings of the 43rd International Conference on Machine Learning, ICML 2026, 2026, PMLR. Note: to appear [bibtex]