發送短信 : Optimal scheduling of industrial block operations using mixed integer programming /