PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Schubert, Tobias"

Author of the publication

copydeleteadd this publication to your clipboard
Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths.

, , , , and . DATE, page 448-453. EDA Consortium San Jose, CA, USA / ACM DL, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefan Schubert University of Stuttgart

Ricarda Schubert University of Stuttgart

Tobias Schlager University of Stuttgart

Tobias Menold University of Stuttgart

Tobias Rentschler University of Stuttgart

 

Other publications of authors with the same name

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