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
Provably optimal test cube generation using quantified boolean formula solving.

, , , , and . ASP-DAC, page 533-539. IEEE, (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 Bens University of Stuttgart

In the spotlight: bond activation reactions with pyridyl-triazolylidene metal complexes. Universität Stuttgart, Stuttgart, Dissertation, (2023)

Tobias Bahr University of Stuttgart

Developing a Computer Science Content Knowledge Test for 10th Grade Students. Proceedings of the 18th WiPSCE Conference on Primary and Secondary Computing Education Research, page 31. New York, NY, United States, Association for Computing Machinery, (2023)

Tobias Menold University of Stuttgart

 

Other publications of authors with the same name

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)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)Recursive decentralized localization for multi-robot systems with asynchronous pairwise communication., , , and . I. J. Robotics Res., (2018)Whole-Body Sensory Concept for Compliant Mobile Robots., , , and . ICRA, page 1-5. IEEE, (2018)PaMiraXT: Parallel SAT Solving with Threads and Message Passing., , and . JSAT, 6 (4): 203-222 (2009)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)