"Generalized Support and Formal Development of Constraint Propagators."

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