Institut für Theoretische Informatik
- 1:
Klausuren. - 2: Lehre.
- 3: Forschung.
- 4: TheorieTag.
- 5: Mitarbeiter.
- 5.1:
Prof. Dr. Uwe Schöning. - 5.2: Prof. Dr. Jacobo Torán.
- 5.3: Prof. Dr. Enno Ohlebusch.
- 5.4: Dr. Thanh Minh Hoang.
- 5.5: Dipl.-Phys. Stefan Arnold.
- 5.6: Dipl.-Inf. Martin Bader.
- 5.7: Dipl.-Inf. Adrian Balint.
- 5.8: Dr. Tobias Eibach.
- 5.9: Dipl.-Inf. Simon Gog.
- 5.10: Dipl.-Inf. Oliver Gableske.
- 5.11: Dipl.-Inf. Adrian Kügel.
- 5.12: Dr. Markus Maucher.
- 5.13: Dipl.-Inf. Thomas Schnattinger.
- 5.14: Dipl.-Inf. Fabian Wagner.
- 5.15: Dr. Henning Wunderlich.
- 5.16: Waltraud Fromm.
- 5.17: Ehemalige Mitarbeiter/Gäste.
- 5.1:
- 6: Adresse.
- 7: Intern.
Dipl.-Inf. Adrian Balint
Interessen
SAT - CSP (Constraint Satisfaction Problems)
Lehre
- Project SAT-Solving + CSP (SS 09)
- Project "Effiziente Algorithmen für SAT und CSP" (WS 08/09)
- Übungen zur Vorlesung Formale Methoden der Informatik (WS 07/08)
- Übungen Theoretische Informatik II (SS 07)
- Praktikum "Effiziente Algorithmen für SAT und CSP" (SS 07)
- Proseminar "Algorithmen" (SS07)
- Übungen zur Vorlesung Formale Methoden der Informatik (WS 06/07)
- Praktikum "Effiziente Algorithmen für SAT und CSP" (WS2006/07)
Publikationen
- Adrian Balint, Michael Henn, Oliver Gableske
A novel approach to combine a SLS- and a DPLL-solver for the satisfiability problem
in SpringerLNCS 5584 p.284
the slides can be downloaded
here (you will need the XviD codec) - Adrian Balint
Algorithmus von Beigel und Eppstein für das (4,2)-CSP
Diplomarbeit, Universität Ulm (Mai 2006