Η παρούσα πτυχιακή εργασία επικεντρώνεται στο πρόβλημα ικανοποιησιμότητας (satisfiability problem - SAT). Στο κεφάλαιο της εισαγωγής, δίνονται μια ιστορική αναδρομή για το πρόβλημα SAT και η επεξήγηση βασικών όρων που ...