Marlene Gründel

Gateways to Tractability for Satisfiability in Pearl’s Causal Hierarchy

Pearl’s Causal Hierarchy (PCH) is a central framework for reasoning about probabilistic, interventional, and counterfactual statements, yet the satisfiability problem for PCH formulas is computationally intractable in almost all classical settings. We revisit this challenge through the lens of param…