Constraint solvers: An empirical evaluation of design decisions
Lars KotthoffPublished in: CoRR (2010)
Keyphrases
- design decisions
- constraint solvers
- constraint programming
- constraint solving
- constraint satisfaction problems
- constraint propagation
- constraint solver
- design issues
- combinatorial problems
- solving problems
- set bounds propagation
- design process
- design principles
- architectural design
- constraint logic programming
- trade off
- constraint satisfaction
- design choices
- global constraints
- search space
- metaheuristic
- state space
- evolutionary algorithm
- optimal solution