Soft constraint propagation and solving in CHRs.

Stefano Bistarelli, Thom W. Frhwirth, Michael Marte

Browse the full SAC paper archive.