Detecting Patterns of Poor Design Solutions Using Constraint Propagation.
Ghizlane El-BoussaidiHafedh MiliPublished in: MoDELS (2008)
Keyphrases
- constraint propagation
- design solutions
- constraint reasoning
- constraint satisfaction
- constraint satisfaction problems
- constraint programming
- constraint solving
- temporal constraints
- constraint solver
- interval arithmetic
- quantifier elimination
- linear programming
- arc consistency
- russian doll search
- finite domain
- design space
- path consistency
- design process
- building blocks
- constraint graph
- trade off
- temporal reasoning
- conceptual design
- computer aided
- user interface
- search space
- expert systems
- databases