Solving Infinite-Domain CSPs Using the Patchwork Property.
Konrad K. DabrowskiPeter JonssonSebastian OrdyniakGeorge OsipovPublished in: CoRR (2021)
Keyphrases
- backtracking algorithm
- constraint satisfaction problems
- constraint problems
- domain specific
- solving constraint satisfaction problems
- domain independent
- partial constraint satisfaction
- constraint satisfaction
- genetic algorithm
- domain experts
- constraint propagation
- learning algorithm
- reinforcement learning
- scheduling problem
- variable ordering
- sat encodings