Keyphrases
- constraint satisfaction problems
- approximation algorithms
- constraint satisfaction
- arc consistency
- decomposition methods
- tree decomposition
- constraint propagation
- high quality
- np hard
- constraint networks
- constraint programming
- constraint solving
- closest string
- arc consistency algorithm
- solving constraint satisfaction problems
- tree decompositions
- data sets
- sat problem
- video sequences
- artificial intelligence
- neural network