Αποστολή με SMS: Integration of Constraint Programming, Artificial Intelligence, and Operations Research