Symbolic Solutions for Symbolic Constraint Satisfaction Problems.
Alexsander Andrade de MeloMateus de Oliveira OliveiraPublished in: KR (2020)
Keyphrases
- constraint satisfaction problems
- finite domain
- constraint satisfaction
- combinatorial problems
- constraint propagation
- constraint programming
- np complete
- np hard
- constraint solving
- configuration problems
- sat problem
- search space
- non binary
- product configuration
- arc consistency
- backtrack search
- solving constraint satisfaction problems
- dynamic constraint satisfaction problems
- hyper heuristics
- path consistency
- heuristic search
- lower bound
- partial constraint satisfaction
- optimal solution