SMT-based Constraint Answer Set Solver EZSMT+
–arXiv.org Artificial Intelligence
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.org Artificial Intelligence
Jun-3-2019
- Country:
- North America > United States
- Iowa (0.04)
- Texas > Travis County
- Austin (0.04)
- Nebraska > Douglas County
- Omaha (0.04)
- Maryland > Prince George's County
- College Park (0.14)
- Asia > China
- North America > United States
- Genre:
- Research Report (0.40)
- Technology: