SMS versenden: Constraint networks: techniques and algorithms