Branching on Multi-aggregated Variables

DOI10.1007/978-3-319-18008-3_10zbMath1464.90041OpenAlexW839605184MaRDI QIDQ5741462

Gerald Gamrath, Ambros M. Gleixner, Timo Berthold, Domenico Salvagnin, Anna Melchiori

Publication date: 25 July 2016

Published in: Integration of AI and OR Techniques in Constraint Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-18008-3_10

zbMATH Keywords

branching scheme, disjunctions defined by multi-aggregated variables

Mathematics Subject Classification ID

Mixed integer programming (90C11) Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57)

Related Items

Exact makespan minimization of unrelated parallel machines, Compressing branch-and-bound trees, An exact solution method for a rich helicopter flight scheduling problem arising in offshore oil and gas logistics

Uses Software

• SCIP
• SoPlex
• MIPLIB2003
• COR@L