DPLL based SAT solver deduction techniques :

DPLL based SAT solver deduction techniques : πτυχιακή εργασία

Δοθέντος μίας φόρμουλας προτασιακής λογικής σε C.N.F μορφή, να βρεθεί ένας συνδυασμός τιμών των Boolean μεταβλητών, έτσι ώστε η φόρμουλα να είναι true. Η παραπάνω πρόταση περιγράφει το πρόβλημα ικανοποιησιμότητας του Boole γνωστό και ως πρόβλημα SAT. Το συγκεκριμένο έγγραφο αποτελεί μια μελέτη (και...

Full description

Saved in:
Bibliographic Details
Main Author: Βογιατζής, Δημήτρης
Corporate Author: Πανεπιστήμιο Αιγαίου. Σχολή Θετικών Επιστημών. Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Other Authors: Κούρτης, Ιωάννης (Dissertant)
Format: Thesis Book
Language:Greek
Published: 2008.
Subjects:
University of the Aegean > Dissertations.
Dissertations, Academic > Greece.
Online Access:http://hdl.handle.net/11610/8919
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

http://hdl.handle.net/11610/8919

Similar Items