Function Variables for Constraint Programming

Function Variables for Constraint Programming

Quite often modelers with constraint programming (CP) use the same modelling patterns for different problems, possibly from different domains. This results in recurring idioms in constraint programs. Our approach can be seen as a three-step approach. First, we identify some of these recurring patt...

Full description

Bibliographic Details
Main Author: Hnich, Brahim
Format: Doctoral Thesis
Language:English
Published: Uppsala universitet, Institutionen för informationsvetenskap 2003
Subjects:
Datalogi
Constraint saisfaction
constraint programming
high-level modelling
abstraction
reformulation
function variables.
Computer science
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-3143
http://nbn-resolving.de/urn:isbn:91-506-1650-1

Internet

http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-3143
http://nbn-resolving.de/urn:isbn:91-506-1650-1

Similar Items