Robert Brummayer

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009

2 EE Robert Brummayer, Armin Biere: Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. TACAS 2009: 174-177

2007

1 EE Robert Brummayer, Armin Biere: C32SAT: Checking C Expressions. CAV 2007: 294-297

2009
2	EE	Robert Brummayer, Armin Biere: Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. TACAS 2009: 174-177
2007
1	EE	Robert Brummayer, Armin Biere: C32SAT: Checking C Expressions. CAV 2007: 294-297

Coauthor Index

1 Armin Biere [1] [2]