Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths.

M. Sauer, S. Reimer, T. Schubert, I. Polian, und B. Becker. DATE, Seite 448-453. EDA Consortium San Jose, CA, USA / ACM DL, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stefan Schubert University of Stuttgart

Ricarda Schubert University of Stuttgart

Tobias Menold University of Stuttgart

Tobias Rentschler University of Stuttgart

Tobias Schwinn University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

PaMiraXT: Parallel SAT Solving with Threads and Message Passing.T. Schubert, M. Lewis, und B. Becker. JSAT, 6 (4): 203-222 (2009)Picoso - A Parallel Interval Constraint Solver.N. Kalinnik, T. Schubert, E. Ábrahám, R. Wimmer, und B. Becker. PDPTA, Seite 473-479. CSREA Press, (2009)Knowledge Sharing in a Microcontroller based Parallel SAT Solver.T. Schubert, und B. Becker. PDPTA, Seite 1049-1055. CSREA Press, (2005)Lemma Exchange in a Microcontroller Based Parallel SAT Solver.T. Schubert, und B. Becker. ISVLSI, Seite 142-147. IEEE Computer Society, (2005)Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths.M. Sauer, S. Reimer, T. Schubert, I. Polian, und B. Becker. DATE, Seite 448-453. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Exploiting Different Strategies for the Parallelization of an SMT Solver.N. Kalinnik, E. Ábrahám, T. Schubert, R. Wimmer, und B. Becker. MBMV, Seite 97-106. Fraunhofer Verlag, (2010)Specialized Hardware for Implementation of Evolutionary Algorithms.T. Schubert, E. Mackensen, N. Drechsler, R. Drechsler, und B. Becker. GECCO, Seite 369. Morgan Kaufmann, (2000)Distributed Parallel #SAT Solving.J. Burchard, T. Schubert, und B. Becker. CLUSTER, Seite 326-335. IEEE Computer Society, (2016)A probabilistic approach to liquid level detection in cups using an RGB-D camera.C. Do, T. Schubert, und W. Burgard. IROS, Seite 2075-2080. IEEE, (2016)Recursive decentralized localization for multi-robot systems with asynchronous pairwise communication.L. Luft, T. Schubert, S. Roumeliotis, und W. Burgard. I. J. Robotics Res., (2018)