Logic-based Benders decomposition for additive manufacturing scheduling on unrelated parallel machines | Synapse