Constraint Propagation Issues in Automated Design.
Jean Patrick TsangPublished in: Expert Systems in Engineering (1990)
Keyphrases
- constraint propagation
- automated design
- constraint programming
- evolutionary design
- temporal constraints
- engineering design
- constraint satisfaction problems
- constraint satisfaction
- constraint solving
- quantifier elimination
- constraint graph
- linear programming
- security protocols
- arc consistency
- search space
- finite domain
- mechanism design
- constrained problems