@mastersthesis{Gleixner2009, author = {Ambros Gleixner}, title = {Solving Large-scale Open Pit Mining Production Scheduling Problems by Integer Programming}, year = {2009}, }