Αποστολή με SMS: Constraint Satisfaction Techniques for Agent-Based Reasoning