Ambros Gleixner
- The Machine Learning for Combinatorial Optimization Competition (ML4CO):\n Results and Insights
2022/03/04 by Maxime Gasse, Quentin Cappart, Gasse, Maxime +81 · 11 citations
Engineering · #Optimization and Packing Problems #Vehicle Routing Optimization Methods #Maritime Ports and Logistics
- Learning to Schedule Heuristics in Branch-and-Bound
2021/01/01 by Antonia Chmiela, Chmiela, Antonia, Elias B. Khalil +7 · 4 citations
Computer Science · Engineering · #Advanced Multi-Objective Optimization Algorithms #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Metaheuristic Optimization Algorithms Research #Optimization and Control (math.OC) #Scheduling and Optimization Algorithms
- A computational status update for exact rational mixed integer programming
2022/01/07 by Leon Eifler, Ambros Gleixner · 4 citations
Computer Science · Mathematics · #Formal Methods in Verification #Polynomial and algebraic computation #Commutative Algebra and Its Applications
- Online Learning for Scheduling MIP Heuristics
2023/01/01 by Antonia Chmiela, Chmiela, Antonia, Ambros Gleixner +5 · 2 citations
Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Metaheuristic Optimization Algorithms Research #Optimization and Control (math.OC) #Scheduling and Timetabling Solutions
- A Computational Status Update for Exact Rational Mixed Integer Programming
2021/01/22 by Leon Eifler, Ambros Gleixner, Eifler, Leon +1 · 2 citations
Computer Science · Mathematics · #05-xx #90-xx #Combinatorics (math.CO) #Commutative Algebra and Its Applications #F.2.1 #FOS: Mathematics #Formal Methods in Verification #G.2.1 #G.4 #Optimization and Control (math.OC) #Polynomial and algebraic computation
- Branch and Price for the Length-Constrained Cycle Partition Problem
2024/01/31 by Mohammed Ghannam, Gioni Mexi, Ghannam, Mohammed +5 · 1 voice · 1 citation
Engineering · #Optimization and Packing Problems #Assembly Line Balancing Optimization #Scheduling and Optimization Algorithms
- The MIP Workshop 2023 Computational Competition on Reoptimization
2023/11/24 by Suresh Bolusani, Mathieu Besançon, Bolusani, Suresh +13 · 1 citation
Computer Science · Decision Sciences · #90-08 #90C11 #90C57 #Constraint Satisfaction and Optimization #FOS: Mathematics #Machine Learning and Data Classification #Optimization and Control (math.OC) #Scheduling and Timetabling Solutions
- Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs
2024/01/17 by Alexander Hoen, Andy Oertel, Hoen, Alexander +5 · 1 citation
Computer Science · #FOS: Mathematics #Formal Methods in Verification #Logic, programming, and type systems #Optimization and Control (math.OC) #Software Testing and Debugging Techniques
- A Numerically-safe Branch-Price-and-Cut Algorithm for the Length-Constrained Cycle Partition Problem
2026/07/17 by Mohammed Ghannam, Ambros Gleixner, Gioni Mexi +1
#math.OC #cs.DM