The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tobias Schubert: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tobias Schubert, Bernd Becker
    Parallel SAT Solving with Microcontrollers. [Citation Graph (0, 0)][DBLP]
    AACC, 2004, pp:59-67 [Conf]
  2. Tobias Schubert, Bernd Becker
    A Distributed SAT Solver for Microcontroller. [Citation Graph (0, 0)][DBLP]
    ARCS Workshops, 2004, pp:338-347 [Conf]
  3. 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]
  4. 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]
  5. Tobias Schubert, Bernd Becker
    Lemma Exchange in a Microcontroller Based Parallel SAT Solver. [Citation Graph (0, 0)][DBLP]
    ISVLSI, 2005, pp:142-147 [Conf]
  6. Tobias Schubert, Bernd Becker
    PICHAFF2 - A Hierarchical Parallel SAT Solver. [Citation Graph (0, 0)][DBLP]
    MTV, 2004, pp:56-61 [Conf]
  7. 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]
  8. Tobias Schubert, Bernd Becker
    Knowledge Sharing in a Microcontroller based Parallel SAT Solver. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2005, pp:1049-1055 [Conf]
  9. 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]
  10. 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]
  11. 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]

  12. Multithreaded SAT Solving. [Citation Graph (, )][DBLP]


  13. Picoso - A Parallel Interval Constraint Solver. [Citation Graph (, )][DBLP]


  14. PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002