Semirings for Soft Constraint Solving and Programming door Stefano Bistarelli