Babelsberg: Unifying Constraint Satisfaction with Object-oriented Execution.
Tim FelgentreffPublished in: Joint Workshop of the German Research Training Groups in Computer Science (2014)
Keyphrases
- constraint satisfaction
- object oriented
- constraint satisfaction problems
- heuristic search
- constraint relaxation
- constraint programming
- relational databases
- relaxation labeling
- phase transition
- constraint propagation
- russian doll search
- robust fault detection
- soft constraints
- probabilistic reasoning
- database design
- constrained problems
- constraint networks
- constraint solving
- learning algorithm
- arc consistency
- combinatorial problems
- data model
- forward checking
- constraint optimization
- computational complexity
- search algorithm
- orders of magnitude
- linear programming
- query language
- constraint problems