A constraint solver for model-based engineering.
Jakob MaussFrank SeelischMugur M. TatarPublished in: AI Commun. (2004)
Keyphrases
- constraint solver
- constraint solving
- constraint programming
- constraint propagation
- linear constraints
- constraint satisfaction problems
- constraint satisfaction
- sat solvers
- constraint logic programming
- artificial intelligence
- software engineering
- arc consistency algorithm
- constraint solvers
- real numbers
- combinatorial problems
- global constraints
- np complete