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

• Main Author: Χαρατσάρης, Δημήτριος
• Other Authors: Σγάρμπας, Κυριάκος
• Format: Thesis
• Language: Greek
• Published: 2013
• Subjects: Τεχνητή νοημοσύνη; Προτασιακή λογική; Αλγόριθμοι επίλυσης προβληµάτων; Artificial intelligence; Propositional calculus; Boolean satisfiability problem; SAT; 005.1

Η παρούσα διπλωµατική εργασία ασχολείται με το θέμα των Αλγορίθμων Επίλυσης Προβληµάτων SAT. Η εργασία αυτή εκπονήθηκε στα πλαίσια του Εργαστηρίου Ενσύρµατης Επικοινωνίας του Τµήματος Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών της Πολυτεχνικής Σχολής του Πανεπιστηµίου Πατρών. Σκοπός της είνα...