Yat Chiu Law Jimmy Ho-Man Lee May H. C. Woo Speeding Up Weighted Constraint Satisfaction Using Redundant Modeling. 59-68 2006 conf/ausai/2006 Australian Conference on Artificial Intelligence http://dx.doi.org/10.1007/11941439_10 db/conf/ausai/ausai2006.html#LawLW06