Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning.

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

Browse the full AAAI paper archive.