Implementing Tuple Variables in Gecode

Implementing Tuple Variables in Gecode

In constraint programming, efficient pruning is vital to avoid unnecessary search. This thesis shows that tuple variables can be used to reduce the size of the search tree, which in turn may reduce the execution time. The tuple variables have been implemented in C++ for the Gecode library. The probl...

Full description

Bibliographic Details
Main Author: Broman, Patrik
Format: Others
Language:English
Published: Uppsala universitet, Institutionen för informationsteknologi 2016
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-291321
id ndltd-UPSALLA1-oai-DiVA.org-uu-291321
record_format oai_dc
spelling ndltd-UPSALLA1-oai-DiVA.org-uu-2913212016-05-02T05:12:13ZImplementing Tuple Variables in GecodeengBroman, PatrikUppsala universitet, Institutionen för informationsteknologi2016In constraint programming, efficient pruning is vital to avoid unnecessary search. This thesis shows that tuple variables can be used to reduce the size of the search tree, which in turn may reduce the execution time. The tuple variables have been implemented in C++ for the Gecode library. The problem used to measure performance is finding paths through a deterministic finite automaton with transition costs. Student thesisinfo:eu-repo/semantics/bachelorThesistexthttp://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-291321IT ; 16020application/pdfinfo:eu-repo/semantics/openAccess
collection NDLTD
language English
format Others
sources NDLTD
description In constraint programming, efficient pruning is vital to avoid unnecessary search. This thesis shows that tuple variables can be used to reduce the size of the search tree, which in turn may reduce the execution time. The tuple variables have been implemented in C++ for the Gecode library. The problem used to measure performance is finding paths through a deterministic finite automaton with transition costs.
author Broman, Patrik
spellingShingle Broman, Patrik
Implementing Tuple Variables in Gecode
author_facet Broman, Patrik
author_sort Broman, Patrik
title Implementing Tuple Variables in Gecode
title_short Implementing Tuple Variables in Gecode
title_full Implementing Tuple Variables in Gecode
title_fullStr Implementing Tuple Variables in Gecode
title_full_unstemmed Implementing Tuple Variables in Gecode
title_sort implementing tuple variables in gecode
publisher Uppsala universitet, Institutionen för informationsteknologi
publishDate 2016
url http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-291321
work_keys_str_mv AT bromanpatrik implementingtuplevariablesingecode
_version_ 1718254941000171520

Similar Items