Blowing Holes in Various Aspects of Computational Problems, with Applications to Constraint Satisfaction.
Peter JonssonVictor LagerkvistGustav NordhPublished in: CP (2013)
Keyphrases
- constraint satisfaction
- computational problems
- constraint satisfaction problems
- combinatorial problems
- constraint propagation
- constraint programming
- search space
- np complete
- phase transition
- soft constraints
- arc consistency
- reasoning tasks
- exact algorithms
- constraint relaxation
- constraint problems
- probabilistic reasoning
- heuristic search
- np hard
- max sat
- decision making
- russian doll search
- sat problem
- global constraints
- temporal constraints
- search strategies
- dynamic programming
- evolutionary algorithm
- expert systems