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
Erfüllbarkeit
Eine detaillierte Beschreibung dieses Forschungsprojekts folgt in Kürze.
