From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl extquotesingle s Causal Hierarchy - Dörfler, Julian; van der Zander, Benito; Bläser, Markus; Liśkiewicz, Maciej (International Conference on Learning Representations, 2025)