A Scalable Solution Methodology for Mixed-Integer Linear Programming Problems Arising in Automation | IEEE Journals & Magazine | IEEE Xplore