Robert Brummayer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2007–2010
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | CADE | Exploring Predictability of SAT/SMT Solvers. | Robert Brummayer, Duckki Oe, Aaron Stump |
| 2010 | SAT | Automated Testing and Debugging of SAT and QBF Solvers. | Robert Brummayer, Florian Lonsing, Armin Biere |
| 2009 | TACAS | Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. | Robert Brummayer, Armin Biere |
| 2008 | FMCAD | Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver. | Armin Biere, Robert Brummayer |
| 2007 | CAV | C32SAT: Checking C Expressions. | Robert Brummayer, Armin Biere |