 | 2010 |
|---|
| 9 |       | Robert Brummayer,
Florian Lonsing,
Armin Biere:
Automated Testing and Debugging of SAT and QBF Solvers.
SAT 2010: 44-57 |
| 8 | | Robert Brummayer,
Matti Järvisalo:
Testing and Debugging Techniques for Answer Set Solver Development
CoRR abs/1007.3223: (2010) |
| 7 | | Robert Brummayer,
Matti Järvisalo:
Testing and debugging techniques for answer set solver development.
TPLP 10(4-6): 741-758 (2010) |
| 6 |  | Robert Brummayer:
Efficient SMT solving for bit vectors and the extensional theory of arrays.
Johannes Kepler University of Linz 2010: 1-142 |
| 2009 |
|---|
| 5 | | Robert Brummayer,
Armin Biere:
Effective Bit-Width and Under-Approximation.
EUROCAST 2009: 304-311 |
| 4 | | Robert Brummayer,
Armin Biere:
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays.
TACAS 2009: 174-177 |
| 3 | | Robert Brummayer,
Armin Biere:
Lemmas on Demand for the Extensional Theory of Arrays.
JSAT 6(1-3): 165-201 (2009) |
| 2008 |
|---|
| 2 | | Armin Biere,
Robert Brummayer:
Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver.
FMCAD 2008: 1-4 |
| 2007 |
|---|
| 1 | | Robert Brummayer,
Armin Biere:
C32SAT: Checking C Expressions.
CAV 2007: 294-297 |
Data released under the ODC-BY 1.0 license — See also our legal information page