Daniel Sabin Eugene C. Freuder Contradicting Conventional Wisdom in Constraint Satisfaction. 10-20 1994 conf/ppcp/1994 PPCP db/conf/ppcp/ppcp94-lncs.html#SabinF94