Skip to main navigation
Skip to content
Skip to footer
Skip to search

Institute of Theoretical Computer Science

Menu

Institute of Theoretical Computer Science
Teaching
Members
- Members
- Prof. Dr. Jacobo Torán
  - Prof. Dr. Jacobo Torán
  - List of books
  - List of on-line available publications
- Prof. Dr. Enno Ohlebusch
- Prof. Dr. Uwe Schöning
  - Prof. Dr. Uwe Schöning
  - Buchveröffentlichungen
- Christiane Halder-Schnell
- M. Sc. Thomas Büchler
- M.Sc. Lisa-Marie Jaser
- M.Sc. Jannik Olbrich
- M.Sc. Tobias Heß
- Ehemalige Mitarbeiter / Doktoranden
  - Ehemalige Mitarbeiter / Doktoranden
  - M.Sc. Florian Wörz
  - M.Sc. Julian Nickerl
  - M.Sc. Jan-Hendrik Lorenz
  - M.Sc. Bogdan Adrian Dina
  - M.Sc. Uwe Baier
  - Dr. Gunnar Völkel
  - Dipl.-Inf. Helmut Sedding
  - Dipl.-Phys. Stefan Arnold
  - Dr. Martin Bader
  - Dipl. Inf. Adrian Balint
  - Dipl.-Inf. Timo Beller
  - Dipl.-Inf. Marcus Bombe
  - Dipl.-Inf. Sebastian Doern
    - Dipl.-Inf. Sebastian Doern
    - Interests
    - Publications
    - Teaching
    - Talks
    - CV
  - Dr. Tobias Eibach
  - Dr. Oliver Gableske
  - Dr. Simon Gog
  - Dr. Thanh Minh Hoang
  - Dr. Dominikus Krüger
  - Dipl.-Inf. Adrian Kügel
  - Dr. Markus Maucher
  - Dr. Thomas Schnattinger
  - Dr. Simon Straub
  - Dr. Fabian Wagner
  - Dr. Henning Wunderlich
  - Dr. Patrick Scharpfenecker
  - Waltraud Fromm
Research
- Research
- EDACC
- Sequence Analysis
- SAT Solving
- Dichte Packung von Garnrollen auf Paletten
Other
- Other
- Front page
- Lectures
- Address
- Imprint
- Poster
- 75. Theorietag
  - 75. Theorietag
  - Allgemeines
  - Programm

You are here:

Institute of Theoretical Computer Science
Detailseite

DE

Vorträge

13. April 2021

09.04.2021 13:30 Uhr Tom Krüger "Über die Härte logisch äquivalenter SAT-Formeln"

Ulm University 04/13/2021 Ulm University

Ulm University

Legal information

Responsible for the content of this page :
https://www.uni-ulm.de/index.php?id=97818
Bogdan Adrian Dina

Last modified :
08 . December 2021

© 2024 Universität Ulm | Ulm University