Watched Literals for Constraint Propagation in Minion. - Gent, Ian P.; Jefferson, Christopher; Miguel, Ian (2006)