On Relation between Constraint Answer Set Programming and Satisfiability Modulo Theories.
Yuliya LierlerBenjamin SusmanPublished in: CoRR (2017)
Keyphrases
- answer set programming
- modulo theories
- satisfiability modulo theories
- logic programming
- logic programs
- answer sets
- stable model semantics
- constraint logic programming
- constraint solvers
- stable models
- knowledge representation
- constraint programming
- linear constraints
- lower bound
- constraint propagation
- constraint solver