TY - JOUR AU - Bistarelli, S. AU - Montanari, U. AU - Rossi, F. PY - 1997// TI - Semiring based constraint solving and Optimization JO - Journal of the ACM SP - 201 EP - 236 VL - 44 IS - 2 ID - Bistarelli97 ER -