Branching and bounds tighteningtechniques for non-convex MINLPPietro BelottiJon Leeet al.2009Optimization Methods and SoftwarePaper
An algorithmic framework for convex mixed integer nonlinear programsPierre BonamiLorenz T. Biegleret al.2008Discrete OptimizationPaper
On a binary-encoded ILP coloring formulationJon LeeFrançois Margot2007INFORMS Journal on ComputingPaper