Αποστολή με SMS: Bridging Constraint Satisfaction and Boolean Satisfiability