Ιδρυματικό Αποθετήριο [SANDBOX]
Πολυτεχνείο Κρήτης
EN  |  EL

Αναζήτηση

Πλοήγηση

Ο Χώρος μου

Υλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικής

Σκίτσας Μιχαήλ

Πλήρης Εγγραφή


URI: http://purl.tuc.gr/dl/dias/69396B3A-2D08-49C5-9F19-CBD0B1A4DD8E
Έτος 2009
Τύπος Διπλωματική Εργασία
Άδεια Χρήσης
Λεπτομέρειες
Βιβλιογραφική Αναφορά Μιχαήλ Σκίτσας, "Υλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικής", Διπλωματική Εργασία, Τμήμα Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών, Πολυτεχνείο Κρήτης, Χανιά, Ελλάς, 2009. https://doi.org/10.26233/heallink.tuc.12152
Εμφανίζεται στις Συλλογές

Περίληψη

Μη διαθέσιμο

Διαθέσιμα αρχεία

Υπηρεσίες

Στατιστικά