ASP modulo CSP: The clingcon system.
Max OstrowskiTorsten SchaubPublished in: Theory Pract. Log. Program. (2012)
Keyphrases
- constraint satisfaction problems
- answer set programming
- tree decomposition
- web applications
- decomposition methods
- constraint satisfaction
- constraint propagation
- constraint programming
- arc consistency
- constraint networks
- constraint solving
- tree decompositions
- np complete
- answer set programs
- arc consistency algorithm
- closest string
- dynamic constraint satisfaction problems
- neural network
- forward checking
- answer sets
- np hard
- expert systems
- objective function