Publications: Marlene Gründel

⬅️ Zurück zum Profil

2026

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, 2026, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Note: to appear
[details]

Gateways to Tractability for Satisfiability in Pearl’s Causal Hierarchy
Robert Ganian, Marlene Gründel and Simon Wietheger
Proceedings of the 43rd International Conference on Machine Learning, ICML 2026, 2026, PMLR.
Note: to appear
[details]