A Two-Stage Decomposition of High School Timetabling applied to cases in Denmark. - Matias Sørensen; Florian H. W. Dahms (Comput. Oper. Res., 2014)