Conflict Directed Lazy Decomposition.

Ignasi Abo, Peter J. Stuckey

Browse the full CP paper archive.