A Relational Constraint Solver for Model-Based Engineering.
Jakob MaussFrank SeelischMugur M. TatarPublished in: CP (2002)
Keyphrases
- constraint solver
- constraint solving
- constraint programming
- constraint propagation
- linear constraints
- constraint satisfaction problems
- constraint satisfaction
- sat solvers
- real numbers
- arc consistency algorithm
- relational databases
- artificial intelligence
- data model
- constraint logic programming
- software engineering
- upper bound
- combinatorial problems
- search space
- knowledge base