automatic reformulation

BilevelJuMP.jl: Modeling and Solving Bilevel Optimization in Julia

  • Joaquim Dias Garcia
  • Guilherme Bodin
  • Alexandre Street
    • Categories Complementarity and Variational Inequalities, Modeling Languages and Systems, Optimization Software and Modeling Systems Tags , , , ,

    In this paper we present BilevelJuMP, a new Julia package to support bilevel optimization within the JuMP framework. The package is a Julia library that enables the user to describe both upper and lower-level optimization problems using the JuMP algebraic syntax. Due to the generality and flexibility our library inherits from JuMP’s syntax, our package … Read more

    Automatic Dantzig-Wolfe Reformulation of Mixed Integer Programs

  • Martin Bergner
  • Alberto Caprara
  • Alberto Ceselli
  • Fabio Furini
  • Marco E. Lübbecke
  • Enrico Malaguti
  • Emiliano Traversi
    • Categories (Mixed) Integer Linear Programming Tags , , , , ,

    Dantzig-Wolfe decomposition (or reformulation) is well-known to provide strong dual bounds for specially structured mixed integer programs (MIPs). However, the method is not implemented in any state-of-the-art MIP solver as it is considered to require structural problem knowledge and tailoring to this structure. We provide a computational proof-of-concept that the reformulation can be automated. That … Read more