"Generating custom propagators for arbitrary constraints."

Ian P. Gent et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics