Partial Identification of Counterfactual Queries via Linear Programming

A new method enables bounding counterfactual and nested counterfactual queries using linear programming by leveraging topological orderings implied by the queries themselves. This approach allows for identification even when causal graphs are only partially specified.