Leitseite
Mitarbeiter
Lehrstuhl
Ehemalige
Lehre
Aktuelle Veranstaltungen
Geplante Veranstaltungen
Frühere Veranstaltungen
Studentische Hilfskräfte
Diplomarbeitsthemen
Vorträge
Kolloquium und Oberseminar
Kolloquium über Parallelverarbeitung
Forschungsprojekte
ÖPNV-Fahrplanung
Erfüllbarkeit
Publikationen
Stellenangebote
Anreiseplan
Universität zu Köln
Math.-Nat. Fakultät
ZAIK
Institut für Informatik
Impressum
english
Forschung
Forschungsprojekte:
CATS
Computergestützte Erstellung und Simulation robuster ÖPNV-Fahrpläne
SAT
Erfüllbarkeit
