Formulation space search approach for the teacher/class timetabling problem - Kochetov, Y. (Yugoslav Journal of Operations Research, 2016)