Я бы создал еще одну переменную 0,1, которая представляет решение о том, что два слота выделены ученику и учителю
т.е. для 2-го и 3-го слота для ученика и учителя t
x(2,3),s,t
Затем добавьте ограничения, отражающие это решение.
* 1008 то есть *
x2,s,t >= x(2,3),s,t
x3,s,t >= x(2,3),s,t
И посмотрите, как это будет, если это станет трудноразрешимым, вы могли бы взглянуть на предварительные приоритеты, определяющие дни для студентов или преподавателей и выделяющие их в вашей формулировке.
посмотрите на https://pdfs.semanticscholar.org/1848/cee0d33b41b765427909297d69b8956be5f2.pdf для некоторых других формулировок