Declarative Heuristics in Constraint Satisfaction.
Erich Christian TeppanGerhard FriedrichPublished in: ICTAI (2013)
Keyphrases
- constraint satisfaction
- heuristic search
- constraint satisfaction problems
- backtrack search
- phase transition
- search strategies
- relaxation labeling
- constraint programming
- search algorithm
- combinatorial problems
- random instances
- constraint propagation
- arc consistency
- probabilistic reasoning
- knowledge representation
- search space
- constraint relaxation
- soft constraints
- constraint optimization
- product configuration
- robust fault detection
- exact algorithms
- sat solvers
- search methods
- linear programming
- state space
- dynamic programming
- backtracking algorithms
- expert systems
- machine learning