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

• Κύριος συγγραφέας: Χαρατσάρης, Δημήτριος
• Άλλοι συγγραφείς: Σγάρμπας, Κυριάκος
• Μορφή: Thesis
• Γλώσσα: Greek
• Έκδοση: 2013
• Θέματα: Τεχνητή νοημοσύνη; Προτασιακή λογική; Αλγόριθμοι επίλυσης προβληµάτων; Artificial intelligence; Propositional calculus; Boolean satisfiability problem; SAT; 005.1

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