Robert Brummayer

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

Johannes Kepler University of Linz (PHD)

Education History

Johannes Kepler University of Linz

PHD

Publications

Robert Brummayer, Matti Järvisalo
Testing and debugging techniques for answer set solver development. Theory Pract. Log. Program. 10 (4-6) (2010)
Robert Brummayer, Florian Lonsing, Armin Biere
Automated Testing and Debugging of SAT and QBF Solvers. SAT (2010)
Robert Brummayer, Duckki Oe, Aaron Stump
Exploring Predictability of SAT/SMT Solvers. EMSQMS@IJCAR (2010)
Robert Brummayer, Matti Järvisalo
Testing and Debugging Techniques for Answer Set Solver Development CoRR (2010)
Robert Brummayer, Armin Biere
Lemmas on Demand for the Extensional Theory of Arrays. J. Satisf. Boolean Model. Comput. 6 (1-3) (2009)
Robert Brummayer, Armin Biere
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. TACAS (2009)
Robert Brummayer, Armin Biere
Effective Bit-Width and Under-Approximation. EUROCAST (2009)
Armin Biere, Robert Brummayer
Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver. FMCAD (2008)
Robert Brummayer, Armin Biere
C32SAT: Checking C Expressions. CAV (2007)