PATAT 2018: Proceedings of the 12th International Conference of the Practice and Theory of Automated Timetabling, 137-152 STARTPAGE=137;ENDPAGE=152;TITLE=PATAT 2018: Proceedings of the 12th International Conference of the Practice and Theory of Automated Timetabling