Αποστολή με SMS: Algorithmic aspects of the Lovasz Local Lemma