Backtrack-Free Search for Real-Time Constraint Satisfaction.
J. Christopher BeckTom CarchraeEugene C. FreuderGeorg RingwelskiPublished in: CP (2004)
Keyphrases
- constraint satisfaction
- forward checking
- backtrack search
- real time
- constraint satisfaction problems
- search algorithm
- heuristic search
- search strategies
- constraint relaxation
- backtracking algorithms
- phase transition
- constraint programming
- relaxation labeling
- constraint propagation
- arc consistency
- search space
- search methods
- probabilistic reasoning
- constraint networks
- constraint solver
- tree search
- sat solvers
- search strategy
- soft constraints
- dynamic programming
- max csp
- russian doll search
- product configuration
- distributed search
- search problems
- constraint optimization