DMCA
The Systematic Generation Of Channelled Models In Constraint Satisfaction
| Citations: | 2 - 0 self |
BibTeX
@MISC{Hernández_thesystematic,
author = {Bernadette Martínez Hernández},
title = {The Systematic Generation Of Channelled Models In Constraint Satisfaction},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Key words: constraint modelling, channelling constraints, channels, channelled models, representations, redundant representations, automatic modelling, refinement Solving a problem with finite-domain constraint programming requires generating a model from the informal description of the problem such that this model can be accepted by a constraint solver. This generation process, called constraint modelling, is considered a hard task due to the number of choices and decisions it includes. Experience of skilled modellers in handcrafting many effective models has allowed identifying numerous patterns. One of these patterns is the addition of redundant information to a model. When this addition takes place, the consistency between all the redundant information needs to be maintained. The special constraints inserted to carry out this consistency maintenance are called channelling constraints (channels) and the models
Keyphrases
systematic generation constraint satisfaction channelled model constraint modelling finite-domain constraint programming numerous pattern redundant information many effective model automatic modelling constraint solver key word redundant information need hard task consistency maintenance generation process informal description special constraint skilled modeller redundant representation
