SMT-based Constraint Answer Set Solver EZSMT+ [article]

Da Shen, Yuliya Lierler
2019 arXiv   pre-print
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.
arXiv:1905.03334v2 fatcat:7grxo5l5yzbljl763rxxfykjme