Αποστολή με SMS: Logic-based methods for optimization