Conflict Analysis Based on Cutting-Planes for Constraint Programming.

Robbin Baauw, Maarten Flippo, Emir Demirovic

Browse the full CP paper archive.