ΑΛΕΞΗΣ ΚΩΝΣΤΑΝΤΙΝΟΣ, Προβλήματα Ικανοποίησης Περιορισμών: Επιλυτές Περιορισμών ή Επιλυτές Ικανοποιησιμότητας;, 2017,