Watched literals for constraint propagation in minion. (2006)

by Ian P Gent, Chris Jefferson, Ian Miguel
Venue:Constraint Programming 2006, LNCS 4204:182–197,