Semiring-based Soft Constraints Francesco Santini ERCIM Fellow @Projet Contraintes, INRIA – Rocquencourt, France Dipartimento di Matematica e Informatica,