Text this: Νέες τεχνικές ανίχνευσης δεσμευτικών περιορισμών σε προβλήματα γραμμικού προγραμματισμού και εφαρμογές /