Zaslat SMS: Constraint networks: techniques and algorithms