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...
| Main Author: | |
|---|---|
| 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 |