ASP modulo CSP: The clingcon system.
Max OstrowskiPublished in: ICLP (Technical Communications) (2012)
Keyphrases
- answer set programming
- constraint satisfaction problems
- tree decomposition
- web applications
- constraint satisfaction
- decomposition methods
- constraint programming
- constraint propagation
- arc consistency
- logic programming
- tree decompositions
- arc consistency algorithm
- constraint solving
- sat encodings
- partial constraint satisfaction
- databases
- answer set programs
- solving constraint satisfaction problems
- dynamic constraint satisfaction problems
- constraint networks
- answer sets
- programming language
- np hard
- search space
- optimal solution
- knowledge base