Dominik Kamp

MIP-DD: Delta Debugging for Mixed Integer Programming Solvers

  • Alexander Hoen
  • Dominik Kamp
  • Ambros Gleixner
    • Categories (Mixed) Integer Linear Programming, Integer Programming Tags ,

    The recent performance improvements in mixed-integer programming (MIP) have been accompanied by a significantly increased complexity of the codes of MIP solvers, which poses challenges in fixing implementation errors. In this paper, we introduce MIP-DD, a solver-independent tool, which to the best of our knowledge is the first open-source delta debugger for MIP. Delta debugging … Read more

    The SCIP Optimization Suite 9.0

  • Suresh Bolusani
  • Mathieu Besançon
  • Ksenia Bestuzheva
  • Antonia Chmiela
  • Joao Dionisio
  • Tim Donkiewicz
  • Jasper van Doornmalen
  • Leon Eifler
  • Mohammed Ghannam
  • Ambros Gleixner
  • Christoph Graczyk
  • Katrin Halbig
  • Ivo Hedtke
  • Alexander Hoen
  • Christopher Hojny
  • Rolf van der Hulst
  • Dominik Kamp
  • Thorsten Koch
  • Kevin Kofler
  • Jurgen Lentz
  • Julian Manns
  • Gioni Mexi
  • Erik Mühmer
  • Marc E. Pfetsch
  • Franziska Schlösser
  • Felipe Serrano
  • Yuji Shinano
  • Mark Turner
  • Stefan Vigerske
  • Dieter Weninger
  • Liding Xu
    • Categories Integer Programming, Linear, Cone and Semidefinite Programming, Optimization Software and Modeling Systems Tags , , , , , , , , ,

    The SCIP Optimization Suite provides a collection of software packages for mathematical optimization, centered around the constraint integer programming (CIP) framework SCIP. This report discusses the enhancements and extensions included in the SCIP Optimization Suite 9.0. The updates in SCIP 9.0 include improved symmetry handling, additions and improvements of nonlinear handlers and primal heuristics, a … Read more