Stefano Bistarelli Thom W. Frühwirth Michael Marte Soft constraint propagation and solving in CHRs. 1-5 2002 conf/sac/2002 SAC http://doi.acm.org/10.1145/508791.508793 db/conf/sac/sac2002.html#BistarelliFM02