Institutional Repository [SANDBOX]
Technical University of Crete
EN  |  EL

Search

Browse

My Space

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

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

Simple record


URIhttp://purl.tuc.gr/dl/dias/69396B3A-2D08-49C5-9F19-CBD0B1A4DD8E-
Identifierhttp://www.library.tuc.gr/artemis/DT2009-0168/DT2009-0168.pdf-
Identifierhttps://doi.org/10.26233/heallink.tuc.12152-
Languageel-
TitleΥλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικήςel
CreatorΣκίτσας Μιχαήλel
Contributor [Thesis Supervisor]Δόλλας Απόστολοςel
PublisherΠολυτεχνείο Κρήτηςel
Academic UnitΠολυτεχνείο Κρήτης::Τμήμα Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστώνel
Content SummaryΜη διαθέσιμοel
Type of ItemΔιπλωματική Εργασίαel
Licensehttp://creativecommons.org/licenses/by/4.0/en
Date of Item2014-03-24-
Date of Publication2009-
SubjectΔΙΠ2213el
Bibliographic CitationΜιχαήλ Σκίτσας, "Υλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικής", Διπλωματική Εργασία, Τμήμα Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών, Πολυτεχνείο Κρήτης, Χανιά, Ελλάς, 2009.el

Available Files

Services

Statistics