SAT-based CSP heuristics
Στόχος αυτής της εργασίας είναι η μελέτη καθιερωμένων SAT ευριστικών συναρτήσεων και η μεταφορά τους στο CSP πρόβλημα. Με αυτό τον τρόπο προκύπτουν νέες CSP ευριστικές που χρησιμοποιούν πληροφορία που δεν εκμεταλλεύονται οι καθιερωμένες CSP ευριστικές, όπως το πλήθος των μεταβλητών που έχει ένας περ...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Γλώσσα: | Greek |
| Δημοσίευση: |
2015
|
| Θέματα: | |
| Διαθέσιμο Online: | https://vsmart.lib.aegean.gr/webopac/FullBB.csp?WebAction=ShowFullBB&EncodedRequest=DZ*08*F0*BC*8B*10*97z*E9*E6w*18*EER*23&Profile=Default&OpacLanguage=gre&NumberToRetrieve=50&StartValue=1&WebPageNr=1&SearchTerm1=2008%20.1.92704&SearchT1=&Index1=Keywordsbib&SearchMethod=Find_1&ItemNr=1 http://hdl.handle.net/11610/12635 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|