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
bib
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
bib
AC Admin
AC Admin

Website maintainer