Ian P. Gent Christopher Jefferson Ian Miguel Watched Literals for Constraint Propagation in Minion. 182-197 2006 conf/cp/2006 CP https://doi.org/10.1007/11889205_15 db/conf/cp/cp2006.html#GentJM06