Mark Wallace — accepted AI-conference papers

2025

Dynamic Replanning for Improved Public Transport Routing

Abdallah Abuaisha, Bojie Shen, Daniel D. Harabor, Peter J. Stuckey, Mark Wallace

IJCAI 2025

Delays in public transport are common, often impacting users through prolonged travel times and missed transfers. Existing solutions for handling delays remain limited; backup plans based on historical data miss opportunities for earlier arrivals, while snapshot planning accounts for current delays

Cited by 0 Source ↗PDF ↗Scholar ↗

2024

Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning

Kevin Leo, Grame Gange, Maria Garcia de la Banda, Mark Wallace

AAAI 2024technical

SAT and propagation solvers often underperform for optimisation models whose objective sums many single-variable terms. MaxSAT solvers avoid this by detecting and exploiting cores: subsets of these terms that cannot collectively take their lower bounds. Previous work has shown manual analysis of cor…

Cited by 3 Source ↗PDF ↗Scholar ↗