SMT-Based Constraint Answer Set Solver EZSMT (System Description).
Benjamin SusmanYuliya LierlerPublished in: ICLP (Technical Communications) (2016)
Keyphrases
- sat solvers
- answer sets
- constraint solver
- answer set programming
- constraint solvers
- answer set semantics
- answer set programs
- high level
- normal logic programs
- anti monotone
- statistical machine translation
- constraint solving
- software engineering
- logic programming
- logic programs
- data structure
- loop formulas
- counter examples
- objective function