Robert Brummayer

Lemmas on demand for the extensional theory of arrays

Armin Biere, Robert Brummayer, 2008, SMT '08/BPR '08.

Local Two-Level And-Inverter Graph Minimization without Blowup

Armin Biere, Robert Brummayer, Armin Biere, 2006 .

Efficient SMT solving for bit vectors and the extensional theory of arrays

Robert Brummayer, Robert Brummayer, 2010 .

BTOR: bit-precise modelling of word-level problems for model checking

Armin Biere, Florian Lonsing, Robert Brummayer, 2008, SMT '08/BPR '08.

Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays

Armin Biere, Robert Brummayer, Armin Biere, 2009, TACAS.

Testing and debugging techniques for answer set solver development pdf

Matti Järvisalo, Robert Brummayer, Robert Brummayer, 2010, Theory and Practice of Logic Programming.

Fuzzing and delta-debugging SMT solvers

Armin Biere, Robert Brummayer, Armin Biere, 2009, SMT '09.

Effective Bit-Width and Under-Approximation

Armin Biere, Robert Brummayer, Armin Biere, 2009, EUROCAST.

Automated Testing and Debugging of SAT and QBF Solvers

Armin Biere, Florian Lonsing, Robert Brummayer, 2010, SAT.