works on
fine-grained complexity 1graph algorithms 1minimum consistent subset 1parameterized complexity 1treewidth 1

From the 1 of 8 linked papers with an AI index.

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

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…