From Literals to Atomic Constraints: Generalising Conflict-Driven Clause Learning for Constraint Programming.

Imko Marijnissen, Maarten Flippo, Emir Demirovic

Browse the full CP paper archive.