Bastiaan Joost Schaafsma

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Statistical Machine Translation

Constraint Solving

Modulo Theories

Top Venues

Publications

Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani
The MathSAT5 SMT Solver. TACAS (2013)
Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani
A Modular Approach to MaxSAT Modulo Theories. SAT (2013)