|
Search the dblp DataBase
Tobias Schubert:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tobias Schubert, Bernd Becker
Parallel SAT Solving with Microcontrollers. [Citation Graph (0, 0)][DBLP] AACC, 2004, pp:59-67 [Conf]
- Tobias Schubert, Bernd Becker
A Distributed SAT Solver for Microcontroller. [Citation Graph (0, 0)][DBLP] ARCS Workshops, 2004, pp:338-347 [Conf]
- Rolf Drechsler, Nicole Drechsler, Elke Mackensen, Tobias Schubert, Bernd Becker
Design Reuse by Modularity: A Scalable Dynamical (Re)Configurable Multiprocessor System. [Citation Graph (0, 0)][DBLP] EUROMICRO, 2000, pp:1425-0 [Conf]
- Tobias Schubert, Elke Mackensen, Nicole Drechsler, Rolf Drechsler, Bernd Becker
Specialized Hardware for Implementation of Evolutionary Algorithms. [Citation Graph (0, 0)][DBLP] GECCO, 2000, pp:369- [Conf]
- Tobias Schubert, Bernd Becker
Lemma Exchange in a Microcontroller Based Parallel SAT Solver. [Citation Graph (0, 0)][DBLP] ISVLSI, 2005, pp:142-147 [Conf]
- Tobias Schubert, Bernd Becker
PICHAFF2 - A Hierarchical Parallel SAT Solver. [Citation Graph (0, 0)][DBLP] MTV, 2004, pp:56-61 [Conf]
- 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]
- Tobias Schubert, Bernd Becker
Knowledge Sharing in a Microcontroller based Parallel SAT Solver. [Citation Graph (0, 0)][DBLP] PDPTA, 2005, pp:1049-1055 [Conf]
- 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]
- 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]
- Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
Parallel SAT Solving in Bounded Model Checking. [Citation Graph (0, 0)][DBLP] FMICS/PDMC, 2006, pp:301-315 [Conf]
Multithreaded SAT Solving. [Citation Graph (, )][DBLP]
Picoso - A Parallel Interval Constraint Solver. [Citation Graph (, )][DBLP]
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|