SemiringBased Constraint Solving and Optimization (1997)

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