A survey of search methodologies and automated system development for examination timetabling · Study