BibTeX
CSL-JSON
MLA
Harvard
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
arXiv
1905.03334v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links