DPLL based SAT solver deduction techniques : πτυχιακή εργασία
Δοθέντος μίας φόρμουλας προτασιακής λογικής σε C.N.F μορφή, να βρεθεί ένας συνδυασμός τιμών των Boolean μεταβλητών, έτσι ώστε η φόρμουλα να είναι true. Η παραπάνω πρόταση περιγράφει το πρόβλημα ικανοποιησιμότητας του Boole γνωστό και ως πρόβλημα SAT. Το συγκεκριμένο έγγραφο αποτελεί μια μελέτη (και...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Συγγραφή απο Οργανισμό/Αρχή: | |
| Άλλοι συγγραφείς: | |
| Μορφή: | Thesis Βιβλίο |
| Γλώσσα: | Greek |
| Δημοσίευση: |
2008.
|
| Θέματα: | |
| Διαθέσιμο Online: | http://hdl.handle.net/11610/8919 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 1/102420 | ||
| 008 | 090310s2008 gr | ||| |||| ||gre|| | ||
| 035 | |l 10103654 | ||
| 040 | |a GR-MyUA |b gre |e AACR2 | ||
| 041 | 0 | |a gre | |
| 082 | 0 | |a 000 |2 (22) | |
| 100 | 1 | |a Βογιατζής, Δημήτρης. | |
| 245 | 1 | 0 | |a DPLL based SAT solver deduction techniques : |b πτυχιακή εργασία / |c Βογιατζής Δημήτρης, Κούρτης Ιωάννης ; επιβλέπων καθηγητής, Κωνσταντίνος Στεργίου. |
| 260 | |c 2008. | ||
| 300 | |a 45 σ. : |b εγχρ. εικ., σχέδια ; |c 30 εκ. | ||
| 500 | |a Μέλη της εξεταστικής επιτροπής: Κωνσταντίνος Στεργίου, Γεώργιος Βούρος, Ευστάθιος Σταματάτος. | ||
| 502 | |a Πτυχιακή εργασία – Πανεπιστήμιο Αιγαίου, Σάμος, 2008. | ||
| 504 | |a Βιβλιογραφία: σ. 45. | ||
| 506 | 0 | |a Διάθεση πλήρους κειμένου - Ελεύθερη πρόσβαση. | |
| 520 | |a Δοθέντος μίας φόρμουλας προτασιακής λογικής σε C.N.F μορφή, να βρεθεί ένας συνδυασμός τιμών των Boolean μεταβλητών, έτσι ώστε η φόρμουλα να είναι true. Η παραπάνω πρόταση περιγράφει το πρόβλημα ικανοποιησιμότητας του Boole γνωστό και ως πρόβλημα SAT. Το συγκεκριμένο έγγραφο αποτελεί μια μελέτη (και μια σύγκριση) πέντε διαφορετικών τεχνικών διάδοσης περιορισμών (propagation methods) σε SAT προβλήματα ως μέθοδοι deduction (μείωση του χώρου αναζήτησης). Πιο συγκεκριμένα θα αναλύσουμε τις ακόλουθες τεχνικές: 1.Unit Propagation 2.Pure Literal Rule 3.Failed Literal Detection 4.Binary Resolution 5.Unit Propagation with Pure Literal Rule | ||
| 610 | 2 | 0 | |a University of the Aegean |x Dissertations. |
| 650 | 0 | 0 | |a Dissertations, Academic |z Greece. |
| 700 | 1 | |a Κούρτης, Ιωάννης, |e dis | |
| 700 | 1 | |a Στεργίου, Κωνσταντίνος, |e dgs | |
| 710 | 2 | |a Πανεπιστήμιο Αιγαίου. |b Σχολή Θετικών Επιστημών. |b Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων. | |
| 852 | |a INST |b SAMOS |c DIATR |e 20090310 |h 000 ΒΟΓ |p 005300029868 |q 005300029868 |t DIE |y 23 | ||
| 852 | |a INST |b SAMOS |c DIATR |e 20090310 |h 000 ΒΟΓ |p 005300029869 |q 005300029869 |t DIE |y 23 | ||
| 856 | |u http://hdl.handle.net/11610/8919 | ||
| 901 | |a BIBL3-2009-1 | ||
| 909 | |a Σ |b 134885 | ||
| 909 | |a Σ |b 134886 | ||
| 924 | |a ΒΟΓΙΑΤΖΗΣ |b ΔΗΜΗΤΡΗΣ |y Σάμος |z 2008-10 | ||
| 970 | |a ΚΟΣΙΕΡΗΣ |b ΧΡΗΣΤΟΣ |z 2009/03/10 | ||