SAT-based CSP heuristics

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=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
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

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

Similar Items