"Watched Literals for Constraint Propagation in Minion."

Ian P. Gent, Christopher Jefferson, Ian Miguel (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics