1. Biere A, Heule M, van Maaren H, Walsh T. (Eds.) Handbook of satisfiability, vol. 185 of Frontiers in artificial intelligence and applications, IOS Press; 2009.
2. A SA-ILS approach for the high school timetabling problem;Brito;Electron Notes Discret Math,2012
3. Demirović E, Musliu N. Modeling high school timetabling as partialweighted maxsat. LaSh 2014: The 4th Workshop on Logic and Search (a SAT/ICLP workshop at FLoC 2014); 2014.
4. Modeling high school timetabling with bitvectors;Demirović;Ann Oper Res,2016
5. A fix-and-optimize heuristic for the high school timetabling problem;Dorneles;Comput Oper Res,2014