Design, Implementation, and Evaluation of the Constraint Language cc(FD).
Pascal Van HentenryckVijay A. SaraswatYves DevillePublished in: J. Log. Program. (1998)
Keyphrases
- constraint language
- implementation issues
- artificial intelligence
- efficient implementation
- pilot testing
- formative evaluation
- circuit design
- modeling language
- case study
- integrity constraints
- design process
- dynamic programming
- design methodology
- constraint networks
- search space
- search algorithm
- cooperative
- multi agent