Reformulation of Global Constraints in Answer Set Programming.
Christian DrescherToby WalshPublished in: Abstraction, Reformulation, and Approximation (2010)
Keyphrases
- global constraints
- answer set programming
- logic programming
- logic programs
- answer sets
- constraint logic programming
- constraint programming
- causal theories
- reasoning tasks
- stable model semantics
- answer set programs
- combinatorial problems
- weighted constraint satisfaction
- constraint satisfaction problems
- integer programming
- symmetry breaking
- arc consistency
- haplotype inference
- search algorithm
- genetic algorithm
- constraint satisfaction
- general purpose
- special case
- relational databases
- parameterized complexity
- machine learning