-
Artikel
Safe and Verified Gomory Mixed Integer Cuts in a Rational MIP Framework
Eifler, Leon; Gleixner, Ambros. In: SIAM Journal on Optimization 34, 1. (2024), S. 742-763.
Artikel › Journalartikel
› 2024
-
Artikel
A Computational Status Update for Exact Rational Mixed Integer Programming
Eifler, Leon; Gleixner, Ambros. In: Mathematical Programming 197, 2. (2023), S. 793-812.
Artikel › Journalartikel
› 2023
-
Artikel
A Computational Study of Perspective Cuts
Bestuzheva, Ksenia et al. In: Mathematical Programming Computation 15. (2023), S. 703-731.
Artikel › Journalartikel
› 2023
-
Forschungsbericht
Arbeits- / Diskussionspapier / Forschungsbericht
Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization
Eifler, Leon et al. Hg. von arxiv. Cornell: 2023, S. 1-15. Forschungs- / Abschlussbericht
› 2023
-
Konferenzbeitrag
Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Products
Bestuzheva, Ksenia et al. In: Integer Programming and Combinatorial Optimization. IPCO 2023. Cham: 2023, S. 14-28.
Konferenzbeitrag › Konferenzpaper
› 2023
-
Artikel
Enabling Research through the SCIP Optimization Suite 8.0
Bestuzheva, Ksenia et al. In: ACM Transactions on Mathematical Software 49, 2. (2023), S. 1-21 (22).
Artikel › Journalartikel
› 2023
-
Konferenzbeitrag
Hybrid Genetic Search for Dynamic Vehicle Routing with Time Windows
Ghannam, Mohammed; Gleixner, Ambros. In: Operations Research Proceedings 2023. 2023, S. 1-8.
Konferenzbeitrag › Konferenzpaper
› 2023
-
Konferenzbeitrag
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
Mexi, Gioni et al. In: 29th International Conference on Principles and Practice of Constraint Programming (CP 2023). Schloss Dagstuhl: 2023, S. 27:1-27:19.
Konferenzbeitrag › Konferenzpaper
› 2023
-
Konferenzbeitrag
Online Learning for Scheduling MIP Heuristics
Chmiela, Antonia et al. In: Integration of AI and OR Techniques in Constraint Programming, CPAIOR 2023. Cham: 2023, S. 114-123.
Konferenzbeitrag › Konferenzpaper
› 2023
-
Artikel
PaPILO: A Parallel Presolving Library for Integer and Linear Programming with Multiprecision Support
Gleixner, Ambros et al. In: INFORMS Journal on Computing 35, 6. (2023), S. 1329-1341.
Artikel › Journalartikel
› 2023
-
Konferenzbeitrag
Scylla: a matrix-free fix-propagate-and-project heuristic for mixed-integer optimization
Mexi, Gioni et al. In: Operations Research Proceedings 2023. 2023, S. 1-8.
Konferenzbeitrag › Konferenzpaper
› 2023
-
Forschungsbericht
Arbeits- / Diskussionspapier / Forschungsbericht
The MIP Workshop 2023 Computational Competition on Reoptimization
Bolusani, Suresh et al. Hg. von arxiv. Cornell: 2023, S. 1-9. Forschungs- / Abschlussbericht
› 2023
-
Artikel
Accelerating domain propagation: An efficient GPU-parallel algorithm over sparse matrices
Sofranac, Boro et al. In: Parallel Computing 109. (2022), S. 102874.
Artikel › Journalartikel
› 2022
-
Artikel
A massively parallel interior-point solver for LPs with generalized arrowhead structure, and applications to energy system models
Rehfeldt, Daniel et al. In: European Journal of Operational Research 296, 1. (2022), S. 60-71.
Artikel › Journalartikel
› 2022
-
Artikel
An algorithm-independent measure of progress for linear constraint propagation
Sofranac, Boro et al. In: Constraints 27. (2022), S. 432-455.
Artikel › Journalartikel
› 2022
-
Artikel
A Safe Computational Framework for Integer Programming applied to Chvátal's Conjecture
Eifler, Leon et al. In: ACM Transactions on Mathematical Software 48, 2. (2022), S. 1-12.
Artikel › Journalartikel
› 2022
-
Artikel
On generalized surrogate duality in mixed-integer nonlinear programming
Müller, Benjamin et al. In: Mathematical Programming 192, 1. (2022), S. 89.
Artikel › Journalartikel
› 2022
-
Konferenzbeitrag
Strengthening SONC Relaxations with Constraints Derived from Variable Bounds
Bestuzheva, Ksenia et al. In: Proceedings of the Hungarian Global Optimization Workshop HUGO 2022. Szeged: 2022, S. 41-44.
Konferenzbeitrag › Abstract
› 2022
-
Konferenzbeitrag
The Machine Learning for Combinatorial Optimization Competition (ML4CO): Results and Insights
Gasse, Maxime et al. In: Proceedings of the NeurIPS 2021 Competitions and Demonstrations Track. o. O.: 2022, S. 220-231.
Konferenzbeitrag › Konferenzpaper
› 2022
-
Forschungsbericht
Arbeits- / Diskussionspapier / Forschungsbericht
The SCIP Optimization Suite 8.0
Bestuzheva, Ksenia et al. Hg. von Zuse Institute Berlin. Berlin: 2022, S. 1-114. Forschungs- / Abschlussbericht
› 2022
-
Konferenzbeitrag
A Computational Status Update for Exact Rational Mixed Integer Programming
Eifler, Leon; Gleixner, Ambros. In: Integer Programming and Combinatorial Optimization. IPCO 2021. Lecture Notes in Computer Science, Vol. 12707. Cham: 2021, S. 163-177.
Konferenzbeitrag › Konferenzpaper
› 2021
-
Konferenzbeitrag
An Algorithm-Independent Measure of Progress for Linear Constraint Propagation
Sofranac, Boro et al. In: 27th International Conference on Principles and Practice of Constraint Programming (CP 2021). Dagstuhl: 2021, S. 52:1-52:17.
Konferenzbeitrag › Konferenzpaper
› 2021
-
Konferenzbeitrag
Learning to Schedule Heuristics in Branch and Bound
Chmiela, Antonia et al. In: Advances in Neural Information Processing Systems. Red Hook, NY, USA: 2021, S. 24235-24246.
Konferenzbeitrag › Konferenzpaper
› 2021
-
Artikel
Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search
Devriendt, Jo et al. In: Constraints 26. (2021), S. 26-55.
Artikel › Journalartikel
› 2021
-
Artikel
MIPLIB 2017: Data-Driven Compilation of the 6th Mixed-Integer Programming Library
Gleixner, Ambros et al. In: Mathematical Programming Computation 13, 3. (2021), S. 443-490.
Artikel › Journalartikel
› 2021
-
Konferenzbeitrag
Accelerating Domain Propagation: An Efficient GPU-Parallel Algorithm over Sparse Matrices
Sofranac, Boro et al. In: 2020 IEEE/ACM 10th Workshop on Irregular Applications: Architectures and Algorithms (IA3). o. O.: 2020, S. 1-11.
Konferenzbeitrag › Konferenzpaper
› 2020
-
Konferenzbeitrag
BEAM-ME: Accelerating Linear Energy Systems Models by a Massively Parallel Interior Point Method
Breuer, Thomas et al. In: NIC Symposium 2020. Jülich: 2020, S. 345-352.
Konferenzbeitrag › Konferenzpaper
› 2020
-
Artikel
Conflict-Driven Heuristics for Mixed Integer Programming
Witzig, Jakob; Gleixner, Ambros. In: INFORMS Journal on Computing 33, 2. (2020), S. 706-720.
Artikel › Journalartikel
› 2020
-
Konferenzbeitrag
First Experiments with Structure-Aware Presolving for a Parallel Interior-Point Method
Gleixner, Ambros et al. In: Operations Research Proceedings 2019 (GOR (Gesellschaft für Operations Research e.V.)). Cham: 2020, S. 105-111.
Konferenzbeitrag › Konferenzpaper
› 2020
-
Konferenzbeitrag
Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search
Devriendt, Jo et al. In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research. CPAIOR 2020. Cham: 2020, S. xxiv-xxvi.
Konferenzbeitrag › Abstract
› 2020
-
Artikel
Linear Programming using Limited-Precision Oracles
Gleixner, Ambros; Steffy, Daniel. In: Mathematical Programming, Bd. 183 183, 1-2. (2020), S. 525-554.
Artikel › Journalartikel
› 2020
-
Konferenzbeitrag
On Generalized Surrogate Duality in Mixed-Integer Nonlinear Programming
Müller, Benjamin et al. In: Integer Programming and Combinatorial Optimization. IPCO 2020. Lecture Notes in Computer Science, vol 12125. Cham: 2020, S. 322-337.
Konferenzbeitrag › Abstract
› 2020
-
Artikel
On the relation between the extended supporting hyperplane algorithm and Kelley’s cutting plane algorithm
Serrano, Felipe et al. In: Journal of Global Optimization 78. (2020), S. 161-179.
Artikel › Journalartikel
› 2020
-
Artikel
Price-and-verify: a new algorithm for recursive circle packing using Dantzig–Wolfe decomposition
Gleixner, Ambros et al. In: Annals of Operations Research 284. (2020), S. 527-555.
Artikel › Journalartikel
› 2020
-
Forschungsbericht
Arbeits- / Diskussionspapier / Forschungsbericht
The SCIP Optimization Suite 7.0
Gamrath, Gerald et al. Hg. von Zuse Institute Berlin. Berlin: 2020, S. 1-46. Forschungs- / Abschlussbericht
› 2020
-
Artikel
Two-row and two-column mixed-integer presolve using hashing-based pairing methods
Gemander, Patrick et al. In: EURO Journal on Computational Optimization 8, 3-4. (2020), S. 205-240.
Artikel › Journalartikel
› 2020
-
Artikel
Using two-dimensional Projections for Stronger Separation and Propagation of Bilinear Terms
Müller, Benjamin et al. In: SIAM Journal on Optimization 30, 2. (2020), S. 1339-1365.
Artikel › Journalartikel
› 2020
-
Artikel
BEAM-ME: Ein interdisziplinärer Beitrag zur Erreichung der Klimaziele
Breuer, Thomas et al. In: OR-News: das Magazin der GOR 66. (2019), S. 6-8.
Artikel › Journalartikel
› 2019
-
Konferenzbeitrag
Linear Programming using Limited-Precision Oracles
Gleixner, Ambros. In: Integer Programming and Combinatorial Optimization: 20th International Conference, IPCO 2019. Cham: 2019, S. 399-412.
Konferenzbeitrag › Konferenzpaper
› 2019
-
Artikel
QPLIB: A Library of Quadratic Programming Instances
Furini, Fabio et al. In: Mathematical Programming Computation 11, 2. (2019), S. 237-265.
Artikel › Journalartikel
› 2019
-
Artikel
Solving Quadratic Programs to High Precision using Scaled Iterative Refinement
Weber, Tobias et al. In: Mathematical Programming Computation 11, 3. (2019), S. 421-455.
Artikel › Journalartikel
› 2019
-
Artikel
Tackling Industrial-Scale Supply Chain Problems by Mixed-Integer Programming
Gamrath, Gerald et al. In: Journal of Computational Mathematics 37. (2019), S. 866-888.
Artikel › Journalartikel
› 2019
-
Artikel
Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081)
Bonami, Pierre et al. In: Dagstuhl Reports 8, 2. (2018), S. 64-87.
Artikel › Journalartikel
› 2018
-
Forschungsbericht
Arbeits- / Diskussionspapier / Forschungsbericht
Feature-Based Algorithm Selection for Mixed Integer Programming
Georges, Alexander et al. Hg. von Zuse Institute Berlin. Berlin: 2018, S. 1-24. Arbeits- / Diskussionspapier
› 2018
-
Konferenzbeitrag
Optimizing Large-Scale Linear Energy System Problems with Block Diagonal Structure by Using Parallel Interior-Point Methods
Breuer, Thomas et al. In: Operations Research Proceedings 2017. Cham: 2018, S. 641-647.
Konferenzbeitrag › Konferenzpaper
› 2018
-
Forschungsbericht
Arbeits- / Diskussionspapier / Forschungsbericht
The SCIP Optimization Suite 6.0
Gleixner, Ambros et al. Hg. von Zuse Institute Berlin. Berlin: 2018, S. 1-42. Arbeits- / Diskussionspapier
› 2018