Implementation and Evaluation of a Compact-Table Propagator in Gecode
In constraint programming, which is a programming paradigm for solvingcombinatorial(optimisation) problems, relations among variables are expressed using constraints —one suchuseful constraint is Table, which expresses the possible combinations that thevariables cantake as a set of tuples. All const...
Main Author: | |
---|---|
Format: | Others |
Language: | English |
Published: |
Uppsala universitet, Institutionen för informationsteknologi
2017
|
Subjects: | |
Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-328679 |