Counterfactual Routing Using Integer Programming with Constraint Generation
Quick summary
arXiv:2609.03707v1 Announce Type: new Abstract: We present our submission to the IJCAI 2025 'Counterfactual Routing Competition' (CRC 25). The goal of the competition is to find counterfactual explanations for the shortest path problem. This requires deciding what the minimal changes to a road network would make a route chosen by the user the optimal route. This enables explanations such as "Your suggested route would indeed have been optimal, if road X were not a bicycle path." Our solution models the problem as an integer program, iteratively incorporating constraints until an exact solution
Key takeaways
- arXiv:2609.03707v1 Announce Type: new Abstract: We present our submission to the IJCAI 2025 'Counterfactual Routing Competition' (CRC 25).
- The goal of the competition is to find counterfactual explanations for the shortest path problem.
- This requires deciding what the minimal changes to a road network would make a route chosen by the user the optimal route.
Why it matters
“Counterfactual Routing Using Integer Programming with Constraint Generation” illustrates how changes in the AI ecosystem can affect products, workflows and user expectations together. Its lasting significance depends on measurable adoption, cost and safety outcomes.

Member comments