DPLL based SAT solver deduction techniques
Δοθέντος μίας φόρμουλας προτασιακής λογικής σε C.N.F μορφή, να βρεθεί ένας συνδυασμός τιμών των Boolean μεταβλητών, έτσι ώστε η φόρμουλα να είναι true. Η παραπάνω πρόταση περιγράφει το πρόβλημα ικανοποιησιμότητας του Boole γνωστό και ως πρόβλημα SAT. Το συγκεκριμένο έγγραφο αποτελεί μια μελέτη (και...
Αποθηκεύτηκε σε:
| Κύριοι συγγραφείς: | , |
|---|---|
| Άλλοι συγγραφείς: | |
| Γλώσσα: | Greek |
| Δημοσίευση: |
2015
|
| Θέματα: | |
| Διαθέσιμο Online: | 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 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
καταχωρήστε σχόλιο πρώτοι!