Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Accurate Computation of Sensitizable Paths Using Answer Set Programming.

B. Andres, M. Sauer, M. Gebser, T. Schubert, B. Becker, and T. Schaub. LPNMR, volume 8148 of Lecture Notes in Computer Science, page 92-101. Springer, (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

Picoso - A Parallel Interval Constraint Solver.N. Kalinnik, T. Schubert, E. Ábrahám, R. Wimmer, and B. Becker. PDPTA, page 473-479. CSREA Press, (2009)Knowledge Sharing in a Microcontroller based Parallel SAT Solver.T. Schubert, and B. Becker. PDPTA, page 1049-1055. CSREA Press, (2005)Lemma Exchange in a Microcontroller Based Parallel SAT Solver.T. Schubert, and B. Becker. ISVLSI, page 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, and B. Becker. DATE, page 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, and B. Becker. MBMV, page 97-106. Fraunhofer Verlag, (2010)PaMiraXT: Parallel SAT Solving with Threads and Message Passing.T. Schubert, M. Lewis, and B. Becker. JSAT, 6 (4): 203-222 (2009)Specialized Hardware for Implementation of Evolutionary Algorithms.T. Schubert, E. Mackensen, N. Drechsler, R. Drechsler, and B. Becker. GECCO, page 369. Morgan Kaufmann, (2000)A probabilistic approach to liquid level detection in cups using an RGB-D camera.C. Do, T. Schubert, and W. Burgard. IROS, page 2075-2080. IEEE, (2016)Distributed Parallel #SAT Solving.J. Burchard, T. Schubert, and B. Becker. CLUSTER, page 326-335. IEEE Computer Society, (2016)Recursive decentralized localization for multi-robot systems with asynchronous pairwise communication.L. Luft, T. Schubert, S. Roumeliotis, and W. Burgard. I. J. Robotics Res., (2018)