DOE OSTI2014Open-Pit Block-Sequencing Formulations: A TutorialAbstract not provided97 MATHEMATICS AND COMPUTING↗