SMT-based Constraint Answer Set Solver EZSMT+
arXiv:1905.03334v218 citations
Originality Synthesis-oriented
AI Analysis
This is an incremental improvement for researchers in constraint answer set programming, offering a new tool but without broad SOTA impact.
The paper tackled the integration of answer set programming with constraint processing by developing EZSMT+, a tool that uses satisfiability modulo theory solvers for search, based on theoretical generalizations of Niemela's level rankings.
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.