Υλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (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