TY  - RPRT
TI  - On Relation between Constraint Answer Set Programming and Satisfiability Modulo Theories
AU  - Yuliya Lierler
AU  - Benjamin Susman
PY  - 2017
UR  - https://arxiv.org/abs/1702.07461
ID  - 1702.07461
ER  -