Lierler and Susman. "Constraint Answer Set Programming Versus Satisfiability Modulo Theories." International Joint Conference on Artificial Intelligence, 2016.
Markdown
[Lierler and Susman. "Constraint Answer Set Programming Versus Satisfiability Modulo Theories." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/lierler2016ijcai-constraint/)
BibTeX
@inproceedings{lierler2016ijcai-constraint,
title = {{Constraint Answer Set Programming Versus Satisfiability Modulo Theories}},
author = {Lierler, Yuliya and Susman, Benjamin},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {1181-1187},
url = {https://mlanthology.org/ijcai/2016/lierler2016ijcai-constraint/}
}