A Scalable Solution Methodology for Mixed-Integer Linear Programming Problems Arising in Automation | Synapse