SAT-based CSP heuristics : μεταπτυχιακή διατριβή
Στόχος αυτής της εργασίας είναι η μελέτη καθιερωμένων SAT ευριστικών συναρτήσεων και η μεταφορά τους στο CSP πρόβλημα. Με αυτό τον τρόπο προκύπτουν νέες CSP ευριστικές που χρησιμοποιούν πληροφορία που δεν εκμεταλλεύονται οι καθιερωμένες CSP ευριστικές, όπως το πλήθος των μεταβλητών που έχει ένας περ...
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Thesis Book |
| Language: | Greek |
| Published: |
2008.
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11610/12635 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|