Benjamin Susman

University of Nebraska at Omaha

1 paper in the IJCAI proceedings

IJCAI 2016

Constraint Answer Set Programming versus Satisfiability Modulo Theories

with Yuliya Lierler

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings