Decomposition Methods for Global Solution of Mixed-Integer Linear Programs | Synapse