Login / Signup
Benjamin Susman
Publication Activity (10 Years)
Years Active: 2015-2017
Publications (10 Years): 4
Top Topics
Satisfiability Modulo Theories
Logic Programs
Answer Set Programming
Constraint Solver
Top Venues
CoRR
IWCS
ICLP (Technical Communications)
Theory Pract. Log. Program.
</>
Publications
</>