Leo, Kevin

2 publications

AAAI 2024 Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace

IJCAI 2015 Multi-Pass High-Level Presolving Kevin Leo, Guido Tack