SMT-based Constraint Answer Set Solver EZSMT+
classification
💻 cs.LO
cs.AI
keywords
answerconstraintprogrammingezsmtcalledcharacterizationfoundationgeneralizations
read the original abstract
Constraint answer set programming integrates answer set programming with constraint processing. System EZSMT+ is a constraint answer set programming tool that utilizes satisfiability modulo theory solvers for search. Its theoretical foundation lies on generalizations of Niemela's characterization of answer sets of a logic program via so called level rankings.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.