Title: Constraint-Based Examination Timetabling for the German University in Cairo Authors: S. Abdennadher, M. Edward Abstract: Constraint programming is mainly used to solve combinatorial problems such as scheduling and allocation, which are of vital importance to modern business. In this paper, we introduce the examination timetabling problem at the German University in Cairo. As manual generation of exam schedules is time-consuming and inconvenient, we show how this problem can be modeled as a constraint satisfaction problem and can be solved using SICStus Prolog with its powerful constraint library.