Formulation and Solution of Nonlinear Integer Production Planning Problems for Flexible Manufacturing Systems | Synapse