Locally Finite Constraint Satisfaction Problems.
Bartek KlinEryk KopczynskiJoanna OchremiakSzymon TorunczykPublished in: LICS (2015)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- np complete
- constraint propagation
- constraint programming
- combinatorial problems
- non binary
- constraint networks
- constraint solving
- search space
- arc consistency
- constraint optimization
- np hard
- constraint problems
- decomposition methods
- temporal constraints
- sat problem
- finite domain
- constraint graph
- solving constraint satisfaction problems
- finding optimal solutions
- reasoning problems
- scheduling problem
- partial constraint satisfaction