Design, Implementation, and Evaluation of the Constraint Language cc(FD)

Pascal Van Hentenryck Vijay A. Saraswat Yves Deville

Published in: Constraint Programming (1994)

Keyphrases

implementation issues
constraint language
formative evaluation
design methodology
user interface
design process
circuit design
artificial intelligence
visual information
pilot testing
database
uml diagrams
software design
efficient implementation
integrity constraints
special case
search algorithm