Nobuhiro Yugami Yuiko Ohta Hirotaka Hara Improving Repair-Based Constraint Satisfaction Methods by Value Propagation. 344-349 1994 AAAI db/conf/aaai/aaai94-1.html#YugamiOH94