Zobrazeno 1 - 10
of 238
pro vyhledávání: '"Van Doornmalen, A."'
Autor:
Bolusani, Suresh, Besançon, Mathieu, Bestuzheva, Ksenia, Chmiela, Antonia, Dionísio, João, Donkiewicz, Tim, van Doornmalen, Jasper, Eifler, Leon, Ghannam, Mohammed, Gleixner, Ambros, Graczyk, Christoph, Halbig, Katrin, Hedtke, Ivo, Hoen, Alexander, Hojny, Christopher, van der Hulst, Rolf, Kamp, Dominik, Koch, Thorsten, Kofler, Kevin, Lentz, Jurgen, Manns, Julian, Mexi, Gioni, Mühmer, Erik, Pfetsch, Marc E., Schlösser, Franziska, Serrano, Felipe, Shinano, Yuji, Turner, Mark, Vigerske, Stefan, Weninger, Dieter, Xu, Liding
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
Externí odkaz:
http://arxiv.org/abs/2402.17702
We present a proof system for establishing the correctness of results produced by optimization algorithms, with a focus on mixed-integer programming (MIP). Our system generalizes the seminal work of Bogaerts, Gocht, McCreesh, and Nordstr\"om (2022) f
Externí odkaz:
http://arxiv.org/abs/2311.03877
Autor:
Bestuzheva, Ksenia, Besançon, Mathieu, Chen, Wei-Kun, Chmiela, Antonia, Donkiewicz, Tim, van Doornmalen, Jasper, Eifler, Leon, Gaul, Oliver, Gamrath, Gerald, Gleixner, Ambros, Gottwald, Leona, Graczyk, Christoph, Halbig, Katrin, Hoen, Alexander, Hojny, Christopher, van der Hulst, Rolf, Koch, Thorsten, Lübbecke, Marco, Maher, Stephen J., Matter, Frederic, Mühmer, Erik, Müller, Benjamin, Pfetsch, Marc E., Rehfeldt, Daniel, Schlein, Steffan, Schlösser, Franziska, Serrano, Felipe, Shinano, Yuji, Sofranac, Boro, Turner, Mark, Vigerske, Stefan, Wegscheider, Fabian, Wellner, Philipp, Weninger, Dieter, Witzig, Jakob
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. The focus of this paper is on the role of the SCIP Optimization Suite in supportin
Externí odkaz:
http://arxiv.org/abs/2303.07101
Handling symmetries in optimization problems is essential for devising efficient solution methods. In this article, we present a general framework that captures many of the already existing symmetry handling methods. While these methods are mostly di
Externí odkaz:
http://arxiv.org/abs/2211.01295
Round robin tournaments are omnipresent in sport competitions and beyond. We propose two new integer programming formulations for scheduling a round robin tournament, one of which we call the matching formulation. We analytically compare their linear
Externí odkaz:
http://arxiv.org/abs/2210.08292
The presence of symmetries of binary programs typically degrade the performance of branch-and-bound solvers. In this article, we derive efficient variable fixing algorithms to discard symmetric solutions from the search space based on propagation tec
Externí odkaz:
http://arxiv.org/abs/2203.00992
Autor:
Bestuzheva, Ksenia, Besançon, Mathieu, Chen, Wei-Kun, Chmiela, Antonia, Donkiewicz, Tim, van Doornmalen, Jasper, Eifler, Leon, Gaul, Oliver, Gamrath, Gerald, Gleixner, Ambros, Gottwald, Leona, Graczyk, Christoph, Halbig, Katrin, Hoen, Alexander, Hojny, Christopher, van der Hulst, Rolf, Koch, Thorsten, Lübbecke, Marco, Maher, Stephen J., Matter, Frederic, Mühmer, Erik, Müller, Benjamin, Pfetsch, Marc E., Rehfeldt, Daniel, Schlein, Steffan, Schlösser, Franziska, Serrano, Felipe, Shinano, Yuji, Sofranac, Boro, Turner, Mark, Vigerske, Stefan, Wegscheider, Fabian, Wellner, Philipp, Weninger, Dieter, Witzig, Jakob
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. This paper discusses enhancements and extensions contained in version 8.0 of the S
Externí odkaz:
http://arxiv.org/abs/2112.08872
Publikováno v:
In European Journal of Operational Research 1 October 2023 310(1):24-33
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Haerkens, Freek, Kikken, Charlotte, Kirkels, Laurens, van Amstel, Monique, Wouters, Willemijn, van Doornmalen, Els, Francke, Christof, Hughes, Samantha
Publikováno v:
In Heliyon August 2022 8(8)