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