Gateways to Tractability for Satisfiability in Pearl's Causal Hierarchy

Robert Ganian, Marlene Gründel, Simon Wietheger

Pearl's Causal Hierarchy (PCH) is a central framework for reasoning about probabilistic, interventional, and counterfactual statements, yet the satisfiability problem for PCH formu…