SMT-based Constraint Answer Set Solver EZSMT+
Logic in Computer Science
2019-06-04 v2 Artificial Intelligence
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.
Keywords
Cite
@article{arxiv.1905.03334,
title = {SMT-based Constraint Answer Set Solver EZSMT+},
author = {Da Shen and Yuliya Lierler},
journal= {arXiv preprint arXiv:1905.03334},
year = {2019}
}
Comments
This is an extended abstract submitted to LPNMR-DC 2019