Invia SMS: Constraint networks: techniques and algorithms