| * | 2009 |
|---|
| 7 | EE | Matthew D. T. Lewis,
Paolo Marin,
Tobias Schubert,
Massimo Narizzano,
Bernd Becker,
Enrico Giunchiglia:
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing.
SAT 2009: 509-523 |
| 6 | EE | Alejandro Czutro,
Ilia Polian,
Matthew D. T. Lewis,
Piet Engelke,
Sudhakar M. Reddy,
Bernd Becker:
TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis.
VLSI Design 2009: 227-232 |
| 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 |
