"Generalized support and formal development of constraint propagators."

James L. Caldwell, Ian P. Gent, Peter Nightingale (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics