To Encode or to Propagate? The Best Choice for Each Constraint in SAT.

Ignasi Abo, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Peter J. Stuckey

Browse the full CP paper archive.