Αποστολή με SMS: Λογικός προγραμματισμός με διατύπωση περιορισμών για επίλυση προβλημάτων χρονοδρομολόγησης /