no-good learning

Local Rapid Learning for Integer Programs

  • Timo Berthold
  • Peter J. Stuckey
  • Jakob Witzig
    • Categories Integer Programming Tags , , , ,

    Conflict learning algorithms are an important component of modern MIP and CP solvers. But strong conflict information is typically gained by depth-first search. While this is the natural mode for CP solving, it is not for MIP solving. Rapid Learning is a hybrid CP/MIP approach where CP search is applied at the root to learn … Read more

    A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming

  • Timo Berthold
  • Stefan Heinz
  • Jakob Witzig
    • Categories (Mixed) Integer Nonlinear Programming Tags , , ,

    Mixed integer nonlinear programs (MINLPs) are arguably among the hardest optimization problems, with a wide range of applications. MINLP solvers that are based on linear relaxations and spatial branching work similar as mixed integer programming (MIP) solvers in the sense that they are based on a branch-and-cut algorithm, enhanced by various heuristics, domain propagation, and … Read more