ML Anthology
Authors
Search
About
Susman, Benjamin
1 publications
IJCAI
2016
Constraint Answer Set Programming Versus Satisfiability Modulo Theories
Yuliya Lierler
,
Benjamin Susman