Susman, Benjamin

1 publications

IJCAI 2016 Constraint Answer Set Programming Versus Satisfiability Modulo Theories Yuliya Lierler, Benjamin Susman