Current Challenges in Infinite-Domain Constraint Satisfaction: Dilemmas of the Infinite Sheep.
Michael PinskerPublished in: CoRR (2022)
Keyphrases
- constraint satisfaction
- current challenges
- constraint satisfaction problems
- constraint programming
- phase transition
- constraint propagation
- constraint solving
- heuristic search
- future directions
- utmost importance
- databases
- constraint relaxation
- product configuration
- relaxation labeling
- combinatorial problems
- constraint networks
- robust fault detection
- backtracking algorithms
- constraint optimization
- constrained problems
- neural network