SMT-based Constraint Answer Set Solver EZSMT+ release_6nfygiflevemvcqynj4rsnl3je

by Da Shen, Yuliya Lierler

Released as a article .

2019  

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.
In text/plain format

Archived Files and Locations

application/pdf  335.7 kB
file_usk3aztrnjd3pfkzquvttngrdu
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2019-05-08
Version   v1
Language   en ?
arXiv  1905.03334v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 7a77918f-3dac-4c42-b4e8-23ee810d1e6b
API URL: JSON