Robert Brummayer

According to our database, Robert Brummayer authored at least 9 papers between 2007 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

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

Robert Brummayer

PhD thesis, 2010

Testing and debugging techniques for answer set solver development.

Robert Brummayer, Matti Järvisalo

Theory Pract. Log. Program., 2010

Automated Testing and Debugging of SAT and QBF Solvers.

Robert Brummayer, Florian Lonsing, Armin Biere

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Exploring Predictability of SAT/SMT Solvers.

Robert Brummayer, Duckki Oe, Aaron Stump

Proceedings of the Workshop on Evaluation Methods for Solvers, 2010

2009

Lemmas on Demand for the Extensional Theory of Arrays.

Robert Brummayer, Armin Biere

J. Satisf. Boolean Model. Comput., 2009

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

Robert Brummayer, Armin Biere

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Effective Bit-Width and Under-Approximation.

Robert Brummayer, Armin Biere

Proceedings of the Computer Aided Systems Theory, 2009

2008

Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver.

Armin Biere, Robert Brummayer

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2007

C32SAT: Checking C Expressions.

Robert Brummayer, Armin Biere

Proceedings of the Computer Aided Verification, 19th International Conference, 2007