Constraint Satisfaction - Algorithms and Complexity Analysis.
Walter HowerPublished in: Inf. Process. Lett. (1995)
Keyphrases
- constraint satisfaction
- complexity analysis
- theoretical analysis
- constraint satisfaction problems
- combinatorial problems
- computational complexity
- heuristic search
- constraint problems
- constraint propagation
- orders of magnitude
- learning algorithm
- relaxation labeling
- russian doll search
- soft constraints
- forward checking
- constraint optimization
- probabilistic reasoning
- phase transition
- constraint programming
- worst case
- space complexity
- highly efficient
- sat solvers
- path consistency
- first order logic
- np complete
- constrained problems
- search algorithm
- backtracking algorithms
- constraint relaxation
- genetic algorithm