An initial study of time complexity in infinite-domain constraint satisfaction.
Peter JonssonVictor LagerkvistPublished in: Artif. Intell. (2017)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- constraint propagation
- relaxation labeling
- heuristic search
- phase transition
- russian doll search
- constraint programming
- constraint relaxation
- constraint solving
- probabilistic reasoning
- computational complexity
- product configuration
- combinatorial problems
- arc consistency
- space complexity
- constraint problems
- decision problems
- worst case
- constrained problems
- special case
- neural network