Semirings for Soft Constraint Solving and Programming - Stefano Bistarelli ((Lecture Notes in Computer Science))