SEARCH Articles Figures Tables Integer Mixed nonlinear Mixed-integer nonlinear programming MINLP modeling Mixed-integer nonlinear programming MINLP synthesis problems