Semiring-based Constraint Solving and Optimization (1997)

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