Keyphrases
- answer set programming
- constraint satisfaction problems
- tree decomposition
- constraint satisfaction
- web applications
- decomposition methods
- constraint programming
- logic programs
- constraint solving
- arc consistency
- constraint networks
- logic programming
- answer sets
- constraint propagation
- np hard
- tree decompositions
- partial constraint satisfaction
- search space
- case study
- backtracking search
- solving constraint satisfaction problems
- machine learning
- neural network