Daniel Sabin Eugene C. Freuder Contradicting Conventional Wisdom in Constraint Satisfaction. 125-129 1994 ECAI db/conf/ecai/ecai94.html#SabinF94