Added restriction to the polynomial formulation of the general case: if a course has k classes, no more than k class date assignments are made.