SAT-based CSP heuristics : μεταπτυχιακή διατριβή
Στόχος αυτής της εργασίας είναι η μελέτη καθιερωμένων SAT ευριστικών συναρτήσεων και η μεταφορά τους στο CSP πρόβλημα. Με αυτό τον τρόπο προκύπτουν νέες CSP ευριστικές που χρησιμοποιούν πληροφορία που δεν εκμεταλλεύονται οι καθιερωμένες CSP ευριστικές, όπως το πλήθος των μεταβλητών που έχει ένας περ...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Συγγραφή απο Οργανισμό/Αρχή: | |
| Μορφή: | Thesis Βιβλίο |
| Γλώσσα: | Greek |
| Δημοσίευση: |
2008.
|
| Θέματα: | |
| Διαθέσιμο Online: | http://hdl.handle.net/11610/12635 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 1/92704 | ||
| 008 | 080828s2008 gr | ||| |||| ||gre|| | ||
| 035 | |l 10099729 | ||
| 040 | |a GR-MyUA |b gre |e AACR2 | ||
| 041 | 0 | |a gre | |
| 082 | 0 | |a 006.3 |2 (22) | |
| 100 | 1 | |a Αργυρόπουλος, Ιωάννης. | |
| 245 | 1 | 0 | |a SAT-based CSP heuristics : |b μεταπτυχιακή διατριβή / |c Ιωάννη Αργυρόπουλου ; επιβλέπων καθηγητής Κωνσταντίνος Στεργίου. |
| 260 | |c 2008. | ||
| 300 | |a v, 60 σ. : |b εικ. ; |c 30 εκ. | ||
| 500 | |a Μέλη της εξεταστικής επιτροπής: Κωνσταντίνος Στεργίου, Γεώργιος Βούρος, Ευστάθιος Σταματάτος. | ||
| 502 | |a Διατριβή (μεταπτυχιακή) – Πανεπιστήμιο Αιγαίου, Σάμος, 2008. | ||
| 504 | |a Βιβλιογραφία: σ. 60. | ||
| 506 | 0 | |a Διάθεση πλήρους κειμένου - Ελεύθερη πρόσβαση. | |
| 520 | |a Στόχος αυτής της εργασίας είναι η μελέτη καθιερωμένων SAT ευριστικών συναρτήσεων και η μεταφορά τους στο CSP πρόβλημα. Με αυτό τον τρόπο προκύπτουν νέες CSP ευριστικές που χρησιμοποιούν πληροφορία που δεν εκμεταλλεύονται οι καθιερωμένες CSP ευριστικές, όπως το πλήθος των μεταβλητών που έχει ένας περιορισμός, ή η υποστήριξη των τιμών μιας μεταβλητής και χρήση τους στο variable ordering τμήμα.Η απόδοση των νέων ευριστικών εξετάζεται σε θεωρητικό επίπεδο αλλά και με πειραματικές μετρήσεις πάνω σε τυχαία CSP προβλήματα. | ||
| 520 | |a Constraint Satisfaction Problems (CSP) and Propositional Satisfiability (SAT) have developed as two independent frameworks, used to solve hard decision problems. Despite some basic similarities on the problem definition and the backtracking search algorithms, they are using different techniques, being well known, standardized and efficient for one of the frameworks, but ignored from the other. The branching heuristics is one of them.In this thesis, we study standard SAT heuristics and transfer them to the CSP framework. Through this attempt, new CSP branching techniques arise, exploiting information not used from most standard CSP heuristics, like constraint arity, or variables values support used for variable ordering.Theoretical study and empirical results on random CSP problems, show that this unexploited information can be used for new efficient CSP heuristics. | ||
| 610 | 2 | 0 | |a University of the Aegean |x Dissertations. |
| 650 | 0 | 0 | |a Constraints (Artificial intelligence) |
| 650 | 0 | 0 | |a Dissertations, Academic |z Greece. |
| 700 | 1 | |a Στεργίου, Κωνσταντίνος, |e dgs | |
| 710 | 2 | |a Πανεπιστήμιο Αιγαίου. |b Σχολή Θετικών Επιστημών. |b Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων. |b Π.Μ.Σ. Τεχνολογίες και Διοίκηση Πληροφοριακών και Επικοινωνιακών Συστημάτων. | |
| 852 | |a INST |b SAMOS |c DIATR |e 20080828 |h 006.3 ΑΡΓ |p 005300030089 |q 005300030089 |t MTXE |y 23 | ||
| 852 | |a INST |b SAMOS |c DIATR |e 20080828 |h 006.3 ΑΡΓ |p 005300030090 |q 005300030090 |t MTXE |y 23 | ||
| 856 | |u http://hdl.handle.net/11610/12635 | ||
| 901 | |a BIBL3-2008-2 | ||
| 909 | |a Σ |b 134703 | ||
| 909 | |a Σ |b 134704 | ||
| 924 | |a ΑΡΓΥΡΟΠΟΥΛΟΣ |b ΙΩΑΝΝΗΣ |y Σάμος |z 2008-08 | ||
| 970 | |a ΣΙΤΖΙΜΗ |b ΓΙΑΣΕΜΗ |z 2008/08/28 | ||