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
Lemma Exchange in a Microcontroller Based Parallel SAT Solver.

, and . ISVLSI, page 142-147. IEEE Computer Society, (2005)

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 Menold University of Stuttgart

Tobias Rentschler University of Stuttgart

Tobias Schwinn University of Stuttgart

 

Other publications of authors with the same name

Exploiting Different Strategies for the Parallelization of an SMT Solver., , , , and . MBMV, page 97-106. Fraunhofer Verlag, (2010)Specialized Hardware for Implementation of Evolutionary Algorithms., , , , and . GECCO, page 369. Morgan Kaufmann, (2000)Distributed Parallel #SAT Solving., , and . CLUSTER, page 326-335. IEEE Computer Society, (2016)A probabilistic approach to liquid level detection in cups using an RGB-D camera., , and . IROS, page 2075-2080. IEEE, (2016)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)Lemma Exchange in a Microcontroller Based Parallel SAT Solver., and . ISVLSI, page 142-147. IEEE Computer Society, (2005)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)Speedup Techniques Utilized in Modern SAT Solvers., , and . SAT, volume 3569 of Lecture Notes in Computer Science, page 437-443. Springer, (2005)Accurate Computation of Sensitizable Paths Using Answer Set Programming., , , , , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 92-101. Springer, (2013)