branching

A Branch and Bound Algorithm for Biobjective Mixed Integer Quadratic Programs

  • Pubudu L.W. Jayasekara Merenchige
  • Margaret Wiecek
    • Categories (Mixed) Integer Nonlinear Programming, Integer Programming, Multi-Criteria Optimization Tags , , , , ,

    Multiobjective quadratic programs (MOQPs) are appealing since convex quadratic programs have elegant mathematical properties and model important applications. Adding mixed-integer variables extends their applicability while the resulting programs become global optimization problems. We design and implement a branch and bound (BB) algorithm for biobjective mixed-integer quadratic programs (BOMIQPs). In contrast to the existing algorithms in … Read more

    A mixed-integer branching approach for very small formulations of disjunctive constraints

  • Joey Huchette
  • Juan Pablo Vielma
    • Categories (Mixed) Integer Linear Programming Tags , , ,

    We study the existence and construction of very small formulations for disjunctive constraints in optimization problems: that is, formulations that use very few integer variables and extra constraints. To accomplish this, we present a novel mixed-integer branching formulation framework, which preserves many of the favorable algorithmic properties of a traditional mixed-integer programming formulation, including amenability … Read more

    Interdiction Branching

  • Andrea Lodi
  • Ted K. Ralphs
  • Fabrizio Rossi
  • Stefano Smriglio
    • Categories 0-1 Programming, Branch and Cut Algorithms Tags , , , , , ,

    This paper introduces interdiction branching, a new branching method for binary integer programs that is designed to overcome the difficulties encountered in solving problems for which branching on variables is inherently weak. Unlike traditional methods, selection of the disjunction in interdiction branching takes into account the best feasible solution found so far. In particular, the … Read more

    Exploiting Second-Order Cone Structure for Global Optimization

  • Ashutosh Mahajan
  • Todd S. Munson
    • Categories Global Optimization Theory Tags , ,

    Identifying and exploiting classes of nonconvex constraints whose feasible region is convex after branching can reduce the time to compute global solutions for nonlinear optimization problems. We develop techniques for identifying quadratic and nonlinear constraints whose feasible region can be represented as the union of a finite number of second-order cones, and we provide necessary … Read more