"Propagation in Constraints: How One Thing Leads to Another."

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