Προγραμματισμός Περιορισμών - Τμήμα Μηχανικών Πληροφορικής και Υπολογιστών