Watched Literals for Constraint Propagation in Minion.

Ian P. Gent, Christopher Jefferson, Ian Miguel

Browse the full CP paper archive.