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 Authors: Βογιατζής, Δημήτρης, Κούρτης, Ιωάννης
Other Authors: Στεργίου, Κωνσταντίνος
Language:Greek
Published: 2015
Subjects:
Τεχνητή νοημοσύνη
Διάδοση περιορισμών
Πρόβλημα ικανοποιησιμότητας
Τεχνικές
Πειράματα
Γεννήτρια
Οπισθοδρόμηση
Αλγόριθμος
Προτασιακή λογική
Επίλυση
Μάθηση
SAT
Heuristic
Deduction
DPLL
Backtracking
Propagation
Unit
Binary resolution
Failed literal detection
Pure literal
Generator
Experimental results
CSP
AI
DLIS
Solver
Online Access:https://vsmart.lib.aegean.gr/webopac/FullBB.csp?WebAction=ShowFullBB&EncodedRequest=W*F7*A1e3*CE*14*9A*FD*C0*E6*BA*3A*C1K*E4&Profile=Default&OpacLanguage=gre&NumberToRetrieve=50&StartValue=1&WebPageNr=1&SearchTerm1=2008%20.1.102420&SearchT1=&Index1=Keywordsbib&SearchMethod=Find_1&ItemNr=1
http://hdl.handle.net/11610/8919
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://vsmart.lib.aegean.gr/webopac/FullBB.csp?WebAction=ShowFullBB&EncodedRequest=W*F7*A1e3*CE*14*9A*FD*C0*E6*BA*3A*C1K*E4&Profile=Default&OpacLanguage=gre&NumberToRetrieve=50&StartValue=1&WebPageNr=1&SearchTerm1=2008%20.1.102420&SearchT1=&Index1=Keywordsbib&SearchMethod=Find_1&ItemNr=1
http://hdl.handle.net/11610/8919

Similar Items