Benjamin Susman

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 4

Top Topics

Satisfiability Modulo Theories

Answer Set Programming

Constraint Solver

Top Venues

ICLP (Technical Communications)

Theory Pract. Log. Program.

Publications

Yuliya Lierler, Benjamin Susman
On Relation between Constraint Answer Set Programming and Satisfiability Modulo Theories. CoRR (2017)
Yuliya Lierler, Benjamin Susman
On relation between constraint answer set programming and satisfiability modulo theories. Theory Pract. Log. Program. 17 (4) (2017)
Yuliya Lierler, Benjamin Susman
Constraint Answer Set Programming versus Satisfiability Modulo Theories. IJCAI (2016)
Benjamin Susman, Yuliya Lierler
SMT-Based Constraint Answer Set Solver EZSMT (System Description). ICLP (Technical Communications) (2016)
Daniel Bailey, Yuliya Lierler, Benjamin Susman
Prepositional Phrase Attachment Problem Revisited: how Verbnet can Help. IWCS (2015)