see International Timetabling Competion 2007: http://www.cs.qub.ac.uk/itc2007/