Constraint Answer Set Programming versus Satisfiability Modulo Theories.

Yuliya Lierler, Benjamin Susman

Browse the full IJCAI paper archive.