SAT-based CSP heuristics

Στόχος αυτής της εργασίας είναι η μελέτη καθιερωμένων SAT ευριστικών συναρτήσεων και η μεταφορά τους στο CSP πρόβλημα. Με αυτό τον τρόπο προκύπτουν νέες CSP ευριστικές που χρησιμοποιούν πληροφορία που δεν εκμεταλλεύονται οι καθιερωμένες CSP ευριστικές, όπως το πλήθος των μεταβλητών που έχει ένας περ...

Πλήρης περιγραφή

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Αργυρόπουλος, Ιωάννης - Γεώργιος
Άλλοι συγγραφείς:	Στεργίου, Κωνσταντίνος
Γλώσσα:	Greek
Δημοσίευση:	2015
Θέματα:	Ευριστικές Heuristics CSP SAT Constraints (Artificial intelligence)
Διαθέσιμο Online:	https://vsmart.lib.aegean.gr/webopac/FullBB.csp?WebAction=ShowFullBB&EncodedRequest=DZ08F0BC8B1097zE9E6w18EER*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
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

_version_	1828460095658262528
author	Αργυρόπουλος, Ιωάννης - Γεώργιος
author2	Στεργίου, Κωνσταντίνος
author_facet	Στεργίου, Κωνσταντίνος Αργυρόπουλος, Ιωάννης - Γεώργιος
author_sort	Αργυρόπουλος, Ιωάννης - Γεώργιος
collection	DSpace
description	Στόχος αυτής της εργασίας είναι η μελέτη καθιερωμένων SAT ευριστικών συναρτήσεων και η μεταφορά τους στο CSP πρόβλημα. Με αυτό τον τρόπο προκύπτουν νέες CSP ευριστικές που χρησιμοποιούν πληροφορία που δεν εκμεταλλεύονται οι καθιερωμένες CSP ευριστικές, όπως το πλήθος των μεταβλητών που έχει ένας περιορισμός, ή η υποστήριξη των τιμών μιας μεταβλητής και χρήση τους στο variable ordering τμήμα. Η απόδοση των νέων ευριστικών εξετάζεται σε θεωρητικό επίπεδο αλλά και με πειραματικές μετρήσεις πάνω σε τυχαία CSP προβλήματα.
id	oai:hellanicus.lib.aegean.gr:11610-12635
institution	Hellanicus
language	Greek
publishDate	2015
record_format	dspace
spelling	oai:hellanicus.lib.aegean.gr:11610-126352025-03-10T17:42:00Z SAT-based CSP heuristics Αργυρόπουλος, Ιωάννης - Γεώργιος Στεργίου, Κωνσταντίνος Ευριστικές Heuristics CSP SAT Constraints (Artificial intelligence) Στόχος αυτής της εργασίας είναι η μελέτη καθιερωμένων SAT ευριστικών συναρτήσεων και η μεταφορά τους στο CSP πρόβλημα. Με αυτό τον τρόπο προκύπτουν νέες CSP ευριστικές που χρησιμοποιούν πληροφορία που δεν εκμεταλλεύονται οι καθιερωμένες CSP ευριστικές, όπως το πλήθος των μεταβλητών που έχει ένας περιορισμός, ή η υποστήριξη των τιμών μιας μεταβλητής και χρήση τους στο variable ordering τμήμα. Η απόδοση των νέων ευριστικών εξετάζεται σε θεωρητικό επίπεδο αλλά και με πειραματικές μετρήσεις πάνω σε τυχαία CSP προβλήματα. 2015-11-18T10:40:08Z 2015-11-18T10:40:08Z 2008 https://vsmart.lib.aegean.gr/webopac/FullBB.csp?WebAction=ShowFullBB&EncodedRequest=DZ08F0BC8B1097zE9E6w18EER*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 el Σάμος
spellingShingle	Ευριστικές Heuristics CSP SAT Constraints (Artificial intelligence) Αργυρόπουλος, Ιωάννης - Γεώργιος SAT-based CSP heuristics
title	SAT-based CSP heuristics
title_full	SAT-based CSP heuristics
title_fullStr	SAT-based CSP heuristics
title_full_unstemmed	SAT-based CSP heuristics
title_short	SAT-based CSP heuristics
title_sort	sat based csp heuristics
topic	Ευριστικές Heuristics CSP SAT Constraints (Artificial intelligence)
url	https://vsmart.lib.aegean.gr/webopac/FullBB.csp?WebAction=ShowFullBB&EncodedRequest=DZ08F0BC8B1097zE9E6w18EER*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
work_keys_str_mv	AT argyropoulosiōannēsgeōrgios satbasedcspheuristics

SAT-based CSP heuristics

Παρόμοια τεκμήρια