![](/img/cover-not-exists.png)
On relation between constraint answer set programming and satisfiability modulo theories
LIERLER, YULIYA, SUSMAN, BENJAMINLanguage:
english
Journal:
Theory and Practice of Logic Programming
DOI:
10.1017/S1471068417000114
Date:
June, 2017
File:
PDF, 288 KB
english, 2017