Search the dblp DataBase

Publications of Author

1. Robert Brummayer, Armin Biere
   C32SAT: Checking C Expressions. [Citation Graph (0, 0)][DBLP]
   CAV, 2007, pp:294-297 [Conf]
   
2. 
   Effective Bit-Width and Under-Approximation. [Citation Graph (, )][DBLP]
   
   
3. 
   Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver. [Citation Graph (, )][DBLP]
   
   
4. 
   Automated Testing and Debugging of SAT and QBF Solvers. [Citation Graph (, )][DBLP]
   
   
5. 
   Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. [Citation Graph (, )][DBLP]
   
   
6. 
   Testing and Debugging Techniques for Answer Set Solver Development [Citation Graph (, )][DBLP]