Gateways to Tractability for Satisfiability in Pearl’s Causal Hierarchy

Abstract

Full Citation:

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

Robert Ganian

Robert Ganian is a Professor at the Algorithms and Complexity Group.

Marlene Gründel

Marlene Gründel is a Project Assistant at the Algorithms and Complexity Group.

Simon Wietheger

Simon Wietheger is a Project Assistant at the Algorithms and Complexity Group.