Improving Component Dependency Resolution with Soft Constraints, Validation and Verification.
Graham JensonPublished in: ASE (2009)
Keyphrases
- soft constraints
- hard constraints
- constraint satisfaction
- constraint satisfaction problems
- constraint propagation
- model checking
- arc consistency
- partial constraint satisfaction
- hard and soft constraints
- utility theory
- constraint violations
- high resolution
- constraint problems
- max csp
- relational databases
- binary constraints
- low resolution
- decision making