Solving Infinite-Domain CSPs Using the Patchwork Property.
Konrad K. DabrowskiPeter JonssonSebastian OrdyniakGeorge OsipovPublished in: AAAI (2021)
Keyphrases
- constraint satisfaction problems
- domain specific
- constraint satisfaction
- domain independent
- constraint problems
- backtracking algorithm
- domain experts
- constraint propagation
- arc consistency
- configuration problems
- partial constraint satisfaction
- neural network
- genetic algorithm
- computational complexity
- cross domain
- distributed constraint satisfaction problems