Zaslat SMS: Semirings for soft constraint solving and programming / Stefano Bistarelli.