Υλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικήςΥλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικής Διπλωματική Εργασία 2014-03-242009elΜη διαθέσιμοhttp://creativecommons.org/licenses/by/3.0/Υλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικήςChania [Greece]Library of TUC2014-03-24application/pdfhttp://www.library.tuc.gr/artemis/DT2009-0168/DT2009-0168.pdffree Σκίτσας Μιχαήλ Δόλλας Απόστολος Πολυτεχνείο Κρήτης ΔΙΠ2213