SAT-based CSP heuristics

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

Full description

Saved in:

Bibliographic Details
Main Author:	Αργυρόπουλος, Ιωάννης - Γεώργιος
Other Authors:	Στεργίου, Κωνσταντίνος
Language:	Greek
Published:	2015
Subjects:	Ευριστικές Heuristics CSP SAT Constraints (Artificial intelligence)
Online Access:	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
Tags:	Add Tag No Tags, Be the first to tag this record!

_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

Similar Items