Search the dblp DataBase

Publications of Author

1. Tobias Schubert, Matthew D. T. Lewis, Bernd Becker
   PaMira - A Parallel SAT Solver with Knowledge Sharing. [Citation Graph (0, 0)][DBLP]
   MTV, 2005, pp:29-36 [Conf]
   
2. Matthew D. T. Lewis, Tobias Schubert, Bernd Becker
   Early Conflict Detection Based BCP for SAT Solving. [Citation Graph (0, 0)][DBLP]
   SAT, 2004, pp:- [Conf]
   
3. Matthew D. T. Lewis, Tobias Schubert, Bernd Becker
   Speedup Techniques Utilized in Modern SAT Solvers. [Citation Graph (0, 0)][DBLP]
   SAT, 2005, pp:437-443 [Conf]
   
4. 
   Multithreaded SAT Solving. [Citation Graph (, )][DBLP]
   
   
5. 
   Propositional approximations for bounded model checking of partial circuit designs. [Citation Graph (, )][DBLP]
   
   
6. 
   PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. [Citation Graph (, )][DBLP]
   
   
7. 
   Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. [Citation Graph (, )][DBLP]
   
   
8. 
   TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis. [Citation Graph (, )][DBLP]