Semiring-based constraint satisfaction and optimization (1997)

by S Bistarelli, U Montanari, F Rossi
Venue:Journal of the ACM