Current Challenges in Infinite-Domain Constraint Satisfaction: Dilemmas of the Infinite Sheep.
Michael PinskerPublished in: ISMVL (2022)
Keyphrases
- constraint satisfaction
- current challenges
- constraint satisfaction problems
- heuristic search
- constraint programming
- constraint relaxation
- phase transition
- constraint propagation
- relaxation labeling
- future directions
- utmost importance
- constraint solving
- soft constraints
- combinatorial problems
- arc consistency
- robust fault detection
- russian doll search
- constraint networks
- neural network
- forward checking
- product configuration
- databases
- optimization problems
- artificial neural networks