Time Complexity of Constraint Satisfaction via Universal Algebra.
Peter JonssonVictor LagerkvistBiman RoyPublished in: CoRR (2017)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- constraint propagation
- constraint programming
- heuristic search
- constraint solving
- phase transition
- constraint relaxation
- combinatorial problems
- soft constraints
- probabilistic reasoning
- relaxation labeling
- constraint networks
- sat solvers
- space complexity
- arc consistency
- constraint optimization
- worst case
- data model
- robust fault detection
- max csp
- machine learning
- russian doll search
- constrained problems
- product configuration
- search strategies
- computational complexity
- bayesian networks
- genetic algorithm