Αποστολή με SMS: Principles and Practice of Constraint Programming