| 2008 |
|---|
| 5 | EE | Bernd Becker,
Marc Herbstritt,
Natalia Kalinnik,
Matthew D. T. Lewis,
Juri Lichtner,
Tobias Nopper,
Ralf Wimmer:
Propositional approximations for bounded model checking of partial circuit designs.
ICCD 2008: 52-59 |
| 2007 |
|---|
| 4 | EE | Matthew D. T. Lewis,
Tobias Schubert,
Bernd Becker:
Multithreaded SAT Solving.
ASP-DAC 2007: 926-931 |
| 2005 |
|---|
| 3 | EE | Tobias Schubert,
Matthew D. T. Lewis,
Bernd Becker:
PaMira - A Parallel SAT Solver with Knowledge Sharing.
MTV 2005: 29-36 |
| 2 | EE | Matthew D. T. Lewis,
Tobias Schubert,
Bernd Becker:
Speedup Techniques Utilized in Modern SAT Solvers.
SAT 2005: 437-443 |
| 2004 |
|---|
| 1 | EE | Matthew D. T. Lewis,
Tobias Schubert,
Bernd Becker:
Early Conflict Detection Based BCP for SAT Solving.
SAT 2004 |
