| 2007 |
|---|
| 13 | EE | Matthew D. T. Lewis,
Tobias Schubert,
Bernd Becker:
Multithreaded SAT Solving.
ASP-DAC 2007: 926-931 |
| 12 | EE | Martin Fränzle,
Christian Herde,
Tino Teige,
Stefan Ratschan,
Tobias Schubert:
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure.
JSAT 1(3-4): 209-236 (2007) |
| 2006 |
|---|
| 11 | EE | Erika Ábrahám,
Tobias Schubert,
Bernd Becker,
Martin Fränzle,
Christian Herde:
Parallel SAT Solving in Bounded Model Checking.
FMICS/PDMC 2006: 301-315 |
| 2005 |
|---|
| 10 | EE | Tobias Schubert,
Bernd Becker:
Lemma Exchange in a Microcontroller Based Parallel SAT Solver.
ISVLSI 2005: 142-147 |
| 9 | EE | Tobias Schubert,
Matthew D. T. Lewis,
Bernd Becker:
PaMira - A Parallel SAT Solver with Knowledge Sharing.
MTV 2005: 29-36 |
| 8 | | Tobias Schubert,
Bernd Becker:
Knowledge Sharing in a Microcontroller based Parallel SAT Solver.
PDPTA 2005: 1049-1055 |
| 7 | EE | Matthew D. T. Lewis,
Tobias Schubert,
Bernd Becker:
Speedup Techniques Utilized in Modern SAT Solvers.
SAT 2005: 437-443 |
| 2004 |
|---|
| 6 | EE | Tobias Schubert,
Bernd Becker:
Parallel SAT Solving with Microcontrollers.
AACC 2004: 59-67 |
| 5 | | Tobias Schubert,
Bernd Becker:
A Distributed SAT Solver for Microcontroller.
ARCS Workshops 2004: 338-347 |
| 4 | EE | Tobias Schubert,
Bernd Becker:
PICHAFF2 - A Hierarchical Parallel SAT Solver.
MTV 2004: 56-61 |
| 3 | EE | Matthew D. T. Lewis,
Tobias Schubert,
Bernd Becker:
Early Conflict Detection Based BCP for SAT Solving.
SAT 2004 |
| 2000 |
|---|
| 2 | EE | Rolf Drechsler,
Nicole Drechsler,
Elke Mackensen,
Tobias Schubert,
Bernd Becker:
Design Reuse by Modularity: A Scalable Dynamical (Re)Configurable Multiprocessor System.
EUROMICRO 2000: 1425- |
| 1 | | Tobias Schubert,
Elke Mackensen,
Nicole Drechsler,
Rolf Drechsler,
Bernd Becker:
Specialized Hardware for Implementation of Evolutionary Algorithms.
GECCO 2000: 369 |
