//-->
New integer linear programming approaches for course timetabling
Boland, Natashia, (2008)
Dynamic Programming to Minimize the Maximum Number of Open Stacks
de la Banda, Maria Garcia, (2007)
Incremental Satisfiability and Implication for UTVPI Constraints
Schutt, Andreas, (2010)