Zaslat SMS: Tractable Valued Constraints