Timetabling on Dutch High Schools.
Satisfiability versus gp-Untis
J. Hartog. University of Technology -- TU, Delft, The Netherlands, Master Thesis, (March 2007)http://www.st.ewi.tudelft.nl/sat/theses/jantien.pdf
-- last visited $9^th$ september 2007.