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
Satisfiability
A detailed description of this research project will be published here shortly.
