| |
| * | 2009 | |
|---|---|---|
| 4 | EE | Robert Brummayer, Armin Biere: Effective Bit-Width and Under-Approximation. EUROCAST 2009: 304-311 |
| 3 | EE | Robert Brummayer, Armin Biere: Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. TACAS 2009: 174-177 |
| 2008 | ||
| 2 | EE | Armin Biere, Robert Brummayer: Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver. FMCAD 2008: 1-4 |
| 2007 | ||
| 1 | EE | Robert Brummayer, Armin Biere: C32SAT: Checking C Expressions. CAV 2007: 294-297 |
| 1 | Armin Biere | [1] [2] [3] [4] |