Home
People
Staff
Alumni
Teaching (German)
Current Courses
Future Courses
Past Courses
Student Assistants
Diploma Thesises
Talks
Colloquium (German)
Workshop on Parallel Computing
Research Projects
Public Transport Scheduling
Satisfiability
Publications
Job Offers
How to Reach Us
University of Cologne
Faculty of Mathematics and Natural Sciences
ZAIK
Department of Computer Science
deutsch
Research
Research projects:
Computer aided design and simulation of robust public transport schedules
SAT
Satisfiability
