Assef Chmeiss Philippe Jégou Efficient Constraint Propagation With Good Space Complexity. 533-534 1996 conf/cp/1996 CP db/conf/cp/cp96.html#ChmeissJ96