Semirings for soft constraint solving and programming - Bistarelli, Stefano 1968- (Lecture notes in computer science ;, 2004)