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...

Full description

Bibliographic Details
Main Author: Ingmar, Linnea
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