Das Department AI in Society, Science, and Technology (AIS2T) konzentriert sich auf die Erforschung und Gestaltung von KI-Methoden in verschiedenen Anwendungsbereichen der Gesellschaft, der Wissenschaft und Industrie. Es arbeitet eng mit der Gruppe für Mathematische Optimierung an der TU Berlin zusammen. Gemeinsam ist diese Arbeitsgruppe als Interactive Optimization and Learning (IOL) bekannt und hat eine eigene Webseite unter https://iol.zib.de/, um einen umfassenden Überblick zu bieten.

Publications

2024
A Bayesian Rolling Horizon Approach for Rolling Stock Rotation Planning with Predictive Maintenance 24th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2024), pp. 13:1-13:19, Vol.123, Open Access Series in Informatics (OASIcs), 2024 (epub ahead of print) Felix Prause, Ralf Borndörfer BibTeX
DOI
AI in Society, Science, and Technology
A Multi-Swap Heuristic for Rolling Stock Rotation Planning with Predictive Maintenance Proceedings of the 11th International Network Optimization Conference (INOC), Dublin, Ireland, March 11-23, 2024, pp. 58-63, 2024 (preprint available as ZIB-Report 23-29) Felix Prause PDF (ZIB-Report)
BibTeX
DOI
AI in Society, Science, and Technology
An Iterative Refinement Approach for the Rolling Stock Rotation Problem with Predictive Maintenance 2024 (under review) Felix Prause, Ralf Borndörfer BibTeX
arXiv
AI in Society, Science, and Technology
Approximating rolling stock rotations with integrated predictive maintenance Journal of Rail Transport Planning & Management, Vol.30, p. 100434, 2024 (preprint available as ZIB-Report 23-04) Felix Prause, Ralf Borndörfer, Boris Grimm, Alexander Tesch PDF (ZIB-Report)
BibTeX
DOI
AI in Society, Science, and Technology
Augmented ant colony algorithm for virtual drug discovery Journal of Mathematical Chemistry, Vol.62, pp. 367-385, 2024 Luca Donati, Konstantin Fackeldey, Marcus Weber BibTeX
DOI
AI in Society, Science, and Technology
Branch and cut for partitioning a graph into a cycle of clusters Combinatorial Optimization. ISCO 2024, Vol.14594, Lecture Notes in Computer Science, 2024 Leon Eifler, Jakob Witzig, Ambros Gleixner BibTeX
DOI
AI in Society, Science, and Technology
Branch and price for the length-constrained cycle partition problem Proceedings of INFORMS Optimization Society Conference, 2024 Mohammed Ghannam, Gioni Mexi, Edward Lam, Ambros Gleixner BibTeX
AI in Society, Science, and Technology
Categorification of Flag Algebras Proceedings of Discrete Mathematics Days, 2024 Aldo Kiem, Sebastian Pokutta, Christoph Spiegel BibTeX
AI in Society, Science, and Technology
Certifying MIP-based presolve reductions for 0-1 integer linear programs Integration of Constraint Programming, Artificial Intelligence, and Operations Research. CPAIOR 2024, Vol.14742, Lecture Notes in Computer Science, 2024 Alexander Hoen, Andy Oertel, Ambros Gleixner, Jakob Nordström BibTeX
DOI
AI in Society, Science, and Technology
Challenges and opportunities in quantum optimization Nature Reviews Physics, 2024 (epub ahead of print) Amira Abbas, Andris Ambainis, Brandon Augustino, Andreas Bärtschi, Harry Buhrman, Carleton Coffrin, Giorgio Cortiana, Vedran Dunjko, Daniel J. Egger, Bruce G. Elmegreen, Nicola Franco, Filippo Fratini, Bryce Fuller, Julien Gacon, Constantin Gonciulea, Sander Gribling, Swati Gupta, Stuart Hadfield, Raoul Heese, Gerhard Kircher, Thomas Kleinert, Thorsten Koch, Georgios Korpas, Steve Lenk, Jakub Marecek, Vanio Markov, Guglielmo Mazzola, Stefano Mensa, Naeimeh Mohseni, Giacomo Nannicini, Corey O’Meara, Elena Peña Tapia, Sebastian Pokutta, Manuel Proissl, Patrick Rebentrost, Emre Sahin, Benjamin C. B. Symons, Sabine Tornow, Víctor Valls, Stefan Woerner, Mira L. Wolf-Bauwens, Jon Yard, Sheir Yarkoni, Dirk Zechiel, Sergiy Zhuk, Christa Zoufal BibTeX
DOI
arXiv
AI in Society, Science, and Technology
Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization INFORMS Journal on Computing, 2024 (epub ahead of print, preprint available as ZIB-Report 23-26) Leon Eifler, Jules Nicolas-Thouvenin, Ambros Gleixner PDF (ZIB-Report)
BibTeX
DOI
AI in Society, Science, and Technology
Computing eigenfrequency sensitivities near exceptional points Phys. Rev. Research, Vol.6, p. 023148, 2024 Felix Binkowski, Julius Kullig, Fridtjof Betz, Lin Zschiedrich, Andrea Walther, Jan Wiersig, Sven Burger BibTeX
DOI
arXiv
AI in Society, Science, and Technology
Convergence and Trade-Offs in Riemannian Gradient Descent and Riemannian Proximal Point Proceedings of the 41st International Conference on Machine Learning, pp. 34920-34948, Vol.235, PMLR, 2024 David Martínez-Rubio, Christophe Roux, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Corrections to “Lower Bounds on the Oracle Complexity of Nonsmooth Convex Optimization via Information Theory” IEEE Transactions on Information Theory, 70(7), pp. 5408-5409, 2024 Gábor Braun, Cristóbal Guzmán, Sebastian Pokutta BibTeX
DOI
AI in Society, Science, and Technology
Efficient separation of RLT cuts for implicit and explicit bilinear terms Mathematical Programming, 2024 Ksenia Bestuzheva, Ambros Gleixner, Tobias Achterberg BibTeX
DOI
AI in Society, Science, and Technology
Estimating canopy height at scale Proceedings of the 41st International Conference on Machine Learning, pp. 39972-39988, Vol.235, PMLR, 2024 Jan Pauls, Max Zimmer, Una M Kelly, Martin Schwartz, Sassan Saatchi, Philippe Ciais, Sebastian Pokutta, Martin Brandt, Fabian Gieseke BibTeX
AI in Society, Science, and Technology
Existence and uniqueness of solutions of the Koopman--von Neumann equation on bounded domains Journal of Physics A: Mathematical and Theoretical, 57(39), 2024 Steven-Marian Stengl, Patrick Gelß, Stefan Klus, Sebastian Pokutta BibTeX
DOI
AI in Society, Science, and Technology
Extending the Continuum of Six-Colorings Geombinatorics Quarterly, 34(1), pp. 20-29, 2024 Konrad Mundinger, Sebastian Pokutta, Christoph Spiegel, Max Zimmer BibTeX
arXiv
AI in Society, Science, and Technology
Extending the Continuum of Six-Colorings Proceedings of Discrete Mathematics Days, 2024 Konrad Mundinger, Sebastian Pokutta, Christoph Spiegel, Max Zimmer BibTeX
AI in Society, Science, and Technology
How Many Clues To Give? A Bilevel Formulation For The Minimum Sudoku Clue Problem Operations Research Letters, Vol.54, p. 107105, 2024 (preprint available as ) Gennesaret Tjusila, Mathieu Besançon, Mark Turner, Thorsten Koch BibTeX
DOI
AI in Society, Science, and Technology
Interpretability Guarantees with Merlin-Arthur Classifiers Proceedings of The 27th International Conference on Artificial Intelligence and Statistics, pp. 1963-1971, Vol.238, PMLR, 2024 Stephan Wäldchen, Kartikey Sharma, Berkant Turan, Max Zimmer, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Kissing polytopes SIAM Journal on Discrete Mathematics, 38(4), 2024 Antoine Deza, Shmuel Onn, Sebastian Pokutta, Lionel Pournin BibTeX
DOI
AI in Society, Science, and Technology
Minimum degree conditions for containing an r-regular r-connected subgraph European Journal of Combinatorics, 2024 Max Hahn-Klimroth, Yury Person, Olaf Parczyk BibTeX
AI in Society, Science, and Technology
Network Design for the Traffic Assignment Problem with Mixed-Integer Frank-Wolfe Proceedings of INFORMS Optimization Society Conference, 2024 Kartikey Sharma, Deborah Hendrych, Mathieu Besançon, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
New Ramsey multiplicity bounds and search heuristics Foundations of Computational Mathematics, 2024 Olaf Parczyk, Sebastian Pokutta, Christoph Spiegel, Tibor Szabó BibTeX
DOI
AI in Society, Science, and Technology
Probabilistic Lookahead Strong Branching via a Stochastic Abstract Branching Model Integration of Constraint Programming, Artificial Intelligence, and Operations Research. CPAIOR 2024, Vol.14743, Lecture Notes in Computer Science, 2024 Gioni Mexi, Somayeh Shamsi, Mathieu Besançon, Pierre Bodic BibTeX
DOI
AI in Society, Science, and Technology
Resilience for tight Hamiltonicity Combinatorial Theory, 4(1), 2024 Peter Allen, Vincent Pfenninger, Olaf Parczyk BibTeX
DOI
AI in Society, Science, and Technology
Safe and verified Gomory mixed integer cuts in a rational MIP framework SIAM Journal on Optimization, 34(1), 2024 Leon Eifler, Ambros Gleixner BibTeX
DOI
AI in Society, Science, and Technology
Scalable Frank-Wolfe on generalized self-concordant functions via simple steps SIAM Journal on Optimization, 34(3), 2024 Alejandro Carderera, Mathieu Besançon, Sebastian Pokutta BibTeX
DOI
AI in Society, Science, and Technology
Solving the optimal experiment design problem with mixed-integer convex methods 22nd International Symposium on Experimental Algorithms (SEA 2024), pp. 16:1-16:22, Vol.301, Leibniz International Proceedings in Informatics (LIPIcs), 2024 Deborah Hendrych, Mathieu Besançon, Sebastian Pokutta BibTeX
DOI
AI in Society, Science, and Technology
Sorting Criteria for Line-based Periodic Timetabling Heuristics Operations Research Proceedings 2024: Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Germany, September 3-6, 2024 (OR2024), 2024 (accepted for publication, preprint available as ZIB-Report 24-07) Patricia Ebert, Berenike Masing, Niels Lindner, Ambros Gleixner PDF (ZIB-Report)
BibTeX
AI in Society, Science, and Technology
Source code and simulation results: Computing eigenfrequency sensitivities near exceptional points Zenodo, p. doi: 10.5281/zenodo.10715639, 2024 Felix Binkowski, Julius Kullig, Fridtjof Betz, Lin Zschiedrich, Andrea Walther, Jan Wiersig, Sven Burger BibTeX
DOI
AI in Society, Science, and Technology
Sparse Model Soups Proceedings of International Conference on Learning Representations, 2024 Max Zimmer, Christoph Spiegel, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Symmetric multipartite Bell inequalities via Frank-Wolfe algorithms Physics Review A, 109(2), 2024 Sébastien Designolle, Tamás Vértesi, Sebastian Pokutta BibTeX
DOI
AI in Society, Science, and Technology
The 4-color Ramsey multiplicity of triangles Proceedings of Discrete Mathematics Days, 2024 Aldo Kiem, Sebastian Pokutta, Christoph Spiegel BibTeX
AI in Society, Science, and Technology
The MIP workshop 2023 computational competition on reoptimization Mathematical Programming Computation, Vol.16, pp. 255-266, 2024 Suresh Bolusani, Mathieu Besançon, Ambros Gleixner, Timo Berthold, Claudia D'Ambrosio, Gonzalo Muñoz, Joseph Paat, Dimitri Thomopulos BibTeX
DOI
AI in Society, Science, and Technology
The SCIP Optimization Suite 9.0 ZIB-Report 24-02-29 Suresh Bolusani, Mathieu Besançon, Ksenia Bestuzheva, Antonia Chmiela, João Dionísio, Tim Donkiewicz, Jasper van Doornmalen, Leon Eifler, Mohammed Ghannam, Ambros Gleixner, Christoph Graczyk, Katrin Halbig, Ivo Hedtke, Alexander Hoen, Christopher Hojny, Rolf van der Hulst, Dominik Kamp, Thorsten Koch, Kevin Kofler, Jurgen Lentz, Julian Manns, Gioni Mexi, Erik Mühmer, Marc E. Pfetsch, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Mark Turner, Stefan Vigerske, Dieter Weninger, Liding Xu PDF
BibTeX
URN
AI in Society, Science, and Technology
The complexity of geometric scaling Operations Research Letters, Vol.52, p. 107057, 2024 Antoine Deza, Sebastian Pokutta, Lionel Pournin BibTeX
DOI
AI in Society, Science, and Technology
The square of a Hamilton cycle in randomly perturbed graphs Random Structures & Algorithms, 65(2), pp. 342-386, 2024 Julia Böttcher, Olaf Parczyk, Amedeo Sgueglia, Jozef Skokan BibTeX
DOI
AI in Society, Science, and Technology
2023
A Computational Study of Perspective Cuts Mathematical Programming Computation, Vol.15, pp. 703-731, 2023 (preprint available as ZIB-Report 21-07) Ksenia Bestuzheva, Ambros Gleixner, Stefan Vigerske PDF (ZIB-Report)
BibTeX
DOI
AI in Society, Science, and Technology
A computational status update for exact rational mixed integer programming Mathematical Programming, Vol.197, pp. 793-812, 2023 Leon Eifler, Ambros Gleixner BibTeX
DOI
AI in Society, Science, and Technology
A general approach to transversal versions of Dirac-type theorems Bulletin of the London Mathematical Society, 2023 Pranshu Gupta, Fabian Hamann, Alp Müyesser, Amedeo Sgueglia, Olaf Parczyk BibTeX
AI in Society, Science, and Technology
Accelerated Riemannian Min-Max Optimization Ensuring Bounded Geometric Penalties Proceedings of Optimization for Machine Learning (NeurIPS Workshop OPT 2023), 2023 David Martínez-Rubio, Christophe Roux, Christopher Criscitiello, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Accelerated Riemannian Optimization: Handling Constraints with a Prox to Bound Geometric Penalties Proceedings of Thirty Sixth Conference on Learning Theory, pp. 359-393, Vol.195, PMLR, 2023 David Martínez-Rubio, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Accelerated and Sparse Algorithms for Approximate Personalized PageRank and Beyond Proceedings of Machine Learning Research, pp. 1-35, Vol.195, 2023 David Martínez-Rubio, Elias Wirth, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Acceleration of Frank-Wolfe Algorithms with Open Loop Step-sizes Proceedings of International Conference on Artificial Intelligence and Statistics, 2023 Elias Wirth, Thomas Kerdreux, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Anti-Ramsey threshold of complete graphs for sparse graphs Discrete Mathematics, 2023 Yoshiharu Kohayakawa, Guilherme O. Mota, Jakob Schnitzer, Olaf Parczyk BibTeX
AI in Society, Science, and Technology
Approximate Vanishing Ideal Computations at Scale Proceedings of International Conference on Learning Representations, 2023 Elias Wirth, Kera, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Construction of a Test Library for the Rolling Stock Rotation Problem with Predictive Maintenance ZIB-Report 23-20 (accepted for publication) Felix Prause, Ralf Borndörfer PDF
BibTeX
URN
AI in Society, Science, and Technology
Cycle-based formulations in distance geometry Open Journal of Mathematical Optimization, Vol.4, 2023 Leo Liberti, Gabriele Iommazzo, Carlile Lavor, Nelson Maculan BibTeX
DOI
AI in Society, Science, and Technology
Data-driven Distributionally Robust Optimization over Time INFORMS Journal on Optimization, 5(4), pp. 376-394, 2023 (epub ahead of print) Aigner Kevin-Martin, Andreas Bärmann, Kristin Braun, Frauke Liers, Sebastian Pokutta, Oskar Schneider, Kartikey Sharma, Sebastian Tschuppik BibTeX
DOI
AI in Society, Science, and Technology
Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Products Integer Programming and Combinatorial Optimization. IPCO 2023., pp. 14-28, Vol.13904, Lecture Notes in Computer Science, 2023 Ksenia Bestuzheva, Ambros Gleixner, Tobias Achterberg BibTeX
DOI
AI in Society, Science, and Technology
Enabling research through the SCIP optimization suite 8.0 ACM Transactions on Mathematical Software, 49(2), pp. 1-21, 2023 Ksenia Bestuzheva, Mathieu Besançon, Wei-Kun Chen, Antonia Chmiela, Tim Donkiewicz, Jasper Doornmalen, Leon Eifler, Oliver Gaul, Gerald Gamrath, Ambros Gleixner, Leona Gottwald, Christoph Graczyk, Katrin Halbig, Alexander Hoen, Christopher Hojny, Rolf Hulst, Thorsten Koch, Marco Lübbecke, Stephen J. Maher, Frederic Matter, Erik Mühmer, Benjamin Müller, Marc Pfetsch, Daniel Rehfeldt, Steffan Schlein, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Boro Sofranac, Mark Turner, Stefan Vigerske, Fabian Wegscheider, Philipp Wellner, Dieter Weninger, Jakob Witzig BibTeX
DOI
AI in Society, Science, and Technology
Flexible Differentiable Optimization via Model Transformations INFORMS Journal on Computing, 2023 Mathieu Besançon, Joaquim Dias Garcia, Benoît Legat, Akshay Sharma BibTeX
DOI
AI in Society, Science, and Technology
Fully Computer-assisted Proofs in Extremal Combinatorics Proceedings of the AAAI Conference on Artificial Intelligence, pp. 12482-12490, 37(10), 2023 Olaf Parczyk, Sebastian Pokutta, Christoph Spiegel, Tibor Szabó BibTeX
DOI
AI in Society, Science, and Technology
Global Optimization of Mixed-Integer Nonlinear Programs with SCIP 8.0 Journal of Global Optimization, 2023 (epub ahead of print, preprint available as ZIB-Report 23-01) Ksenia Bestuzheva, Antonia Chmiela, Benjamin Müller, Felipe Serrano, Stefan Vigerske, Fabian Wegscheider PDF (ZIB-Report)
BibTeX
DOI
AI in Society, Science, and Technology
How I Learned to Stop Worrying and Love Retraining Proceedings of International Conference on Learning Representations, 2023 Max Zimmer, Christoph Spiegel, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Hybrid genetic search for dynamic vehicle routing with time windows Proceedings of Conference of the Society for Operations Research in Germany, 2023 Mohammed Ghannam, Ambros Gleixner BibTeX
AI in Society, Science, and Technology
Identifying Patterns of Medical Intervention in Acute Respiratory Failure: A Retrospective Observational Study Critical Care Explorations, 5(10), p. p e0984, 2023 Jacqueline M. Kruser, Kartikey Sharma, Jane L. Holl, Omid Nohadani BibTeX
DOI
AI in Society, Science, and Technology
Improved Local Models and New Bell Inequalities Via Frank-Wolfe Algorithms Physical Review Research, Vol.5, p. 043059, 2023 Sébastien Designolle, Mathieu Besançon, Gabriele Iommazzo, Sebastian Knebel, Patrick Gelß, Sebastian Pokutta BibTeX
DOI
AI in Society, Science, and Technology
Improved local models and new Bell inequalities via Frank-Wolfe algorithms Physical Review Research, Vol.5, p. 043059, 2023 Sébastien Designolle, Gabriele Iommazzo, Mathieu Besançon, Sebastian Knebel, Patrick Gelß, Sebastian Pokutta BibTeX
DOI
AI in Society, Science, and Technology
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), pp. 27:1-27:19, Vol.280, Leibniz International Proceedings in Informatics (LIPIcs), 2023 Gioni Mexi, Timo Berthold, Ambros Gleixner, Jakob Nordström BibTeX
DOI
AI in Society, Science, and Technology
Learning cuts via enumeration oracles Proceedings of Conference on Neural Information Processing Systems, 2023 Daniel Thuerck, Boro Sofranac, Marc Pfetsch, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Monoidal strengthening and unique lifting in MIQCPs Integer Programming and Combinatorial Optimization. IPCO 2023., pp. 87-99, Vol.13904, Lecture Notes in Computer Science, 2023 (preprint available as ) Antonia Chmiela, Gonzalo Muñoz, Felipe Serrano BibTeX
DOI
AI in Society, Science, and Technology
On the implementation and strengthening of intersection cuts for QCQPs Mathematical Programming B, Vol.197, pp. 549-586, 2023 Antonia Chmiela, Gonzalo Muñoz, Felipe Serrano BibTeX
DOI
AI in Society, Science, and Technology
Online Learning for Scheduling MIP Heuristics Integration of Constraint Programming, Artificial Intelligence, and Operations Research, pp. 114-123, Vol.13884, Lecture Notes in Computer Science, 2023 (preprint available as ) Antonia Chmiela, Ambros Gleixner, Pawel Lichocki, Sebastian Pokutta BibTeX
DOI
AI in Society, Science, and Technology
Open problem: polynomial linearly-convergent method for g-convex optimization? Proceedings of Thirty Sixth Conference on Learning Theory, PMLR, pp. 5950-5956, Vol.195, 2023 Christopher Criscitiello, David Martínez-Rubio, Nicolas Boumal BibTeX
AI in Society, Science, and Technology
Principled Deep Neural Network Training Through Linear Programming Discrete Optimization, Vol.49, 2023 Daniel Bienstock, Gonzalo Muñoz, Sebastian Pokutta BibTeX
DOI
AI in Society, Science, and Technology
Revisiting the Approximate Carathéodory Problem via the Frank-Wolfe Algorithm Mathematical Programming, Vol.197, pp. 191-214, 2023 Cyrille Combettes, Sebastian Pokutta BibTeX
DOI
AI in Society, Science, and Technology
Safe and Verified Gomory Mixed Integer Cuts in a Rational MIP Framework SIAM Journal on Optimization, 2023 (under review, preprint available as ZIB-Report 23-09) Leon Eifler, Ambros Gleixner PDF (ZIB-Report)
BibTeX
AI in Society, Science, and Technology
Scylla: a matrix-free fix-propagate-and-project heuristic for mixed-integer optimization Proceedings of Conference of the Society for Operations Research in Germany, 2023 Gioni Mexi, Mathieu Besançon, Suresh Bolusani, Antonia Chmiela, Alexander Hoen, Ambros Gleixner BibTeX
AI in Society, Science, and Technology
Strengthening SONC Relaxations with Constraints Derived from Variable Bounds Ksenia Bestuzheva, Helena Völker, Ambros Gleixner PDF
BibTeX
URN
AI in Society, Science, and Technology
The Frank-Wolfe algorithm: a short introduction Jahresbericht der Deutschen Mathematiker-Vereinigung, 2023 Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
The Rado Multiplicity Problem in Vector Spaces Over Finite Fields Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, EUROCOMB’23, pp. 784-789, 2023 Juanjo Rué Perna, Christoph Spiegel BibTeX
DOI
AI in Society, Science, and Technology
WaveTrain: a Python Package for Numerical Quantum Mechanics of Chain-like Systems Based on Tensor Trains The Journal of Chemical Physics, 158(16), p. 164801, 2023 Jerome Riedel, Patrick Gelß, Rupert Klein, Burkhard Schmidt BibTeX
DOI
AI in Society, Science, and Technology
2022
A Safe Computational Framework for Integer Programming applied to Chvátal's Conjecture ACM Transactions on Mathematical Software, 48(2), 2022 (preprint available as ZIB-Report 21-35) Leon Eifler, Ambros Gleixner, Jonad Pulaj PDF (ZIB-Report)
BibTeX
DOI
AI in Society, Science, and Technology
A computational status update for exact rational mixed integer programming Mathematical Programming, 2022 Leon Eifler, Ambros Gleixner BibTeX
DOI
AI in Society, Science, and Technology
Accelerated Riemannian optimization: Handling constraints with a prox to bound geometric penalties Proceedings of Optimization for Machine Learning (NeurIPS Workshop OPT 2022), 2022 David Martínez-Rubio, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Accelerating domain propagation: An efficient GPU-parallel algorithm over sparse matrices Parallel Computing, Vol.109, p. 102874, 2022 Boro Šofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
DOI
AI in Society, Science, and Technology
Algorithm configuration problem Encyclopedia of Optimization, 2022 Gabriele Iommazzo, Claudia D'Ambrosio, Antonio Frangioni, Leo Liberti BibTeX
AI in Society, Science, and Technology
An Algorithm-independent Measure of Progress for Linear Constraint Propagation Constraints, Vol.27, pp. 432-455, 2022 Boro Šofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
DOI
AI in Society, Science, and Technology
Another note on intervals in the Hales-Jewett theorem Electronic Journal of Combinatorics, 29(1), p. P1.62, 2022 Nina Kamčev, Christoph Spiegel BibTeX
DOI
AI in Society, Science, and Technology
Anti-Ramsey threshold of cycles for sparse graphs Discrete Applied Mathematics, 2022 Gabriel F. Barros, Bruno P. Cavalar, Guilherme O. Mota, Olaf Parczyk BibTeX
AI in Society, Science, and Technology
Conditional Gradients for the Approximately Vanishing Ideal Proceedings of The 25th International Conference on Artificial Intelligence and Statistics, pp. 2191-2209, Vol.151, PMLR, 2022 Elias Wirth, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Fast Algorithms for Packing Proportional Fairness and its Dual Proceedings of the Conference on Neural Information Processing Systems, Vol.36, 2022 Francisco Criado, David Martínez-Rubio, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
FrankWolfe.jl: a high-performance and flexible toolbox for Frank-Wolfe algorithms and Conditional Gradients INFORMS Journal on Computing, 34(5), pp. 2383-2865, 2022 Besançon Mathieu, Alejandro Carderera, Sebastian Pokutta BibTeX
DOI
AI in Society, Science, and Technology
Generalized Nash equilibrium problems with partial differential operators: theory, algorithms, and risk aversion Non-smooth and Complementarity-based Distributed Parameter Systems: Simulation and Hierarchical Optimization, 2022 Deborah Gahururu, Michael Hintermüller, Steven-Marian Stengl, Thomas M. Surowiec BibTeX
AI in Society, Science, and Technology
Interpretable Neural Networks with Frank-Wolfe: Sparse Relevance Maps and Relevance Orderings Proceedings of the International Conference on Machine Learning, 2022 Jan MacDonald, Mathieu Besançon, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Interrogating the effect of enzyme kinetics on metabolism using differentiable constraint-based models Metabolic Engineering, 2022 St. Elmo Wilken, Mathieu Besançon, Miroslav Kratochvíl, Chilperic Armel Foko Kuate, Christophe Trefois, Wei Gu, Oliver Ebenhöh BibTeX
AI in Society, Science, and Technology
Low-Rank Tensor Decompositions of Quantum Circuits Journal of Computational Physics, 2022 (under review) Patrick Gelß, Stefan Klus, Sebastian Knebel, Zarin Shakibaei, Sebastian Pokutta BibTeX
arXiv
AI in Society, Science, and Technology
Near optimal sparsity-constrained group testing: improved bounds IEEE Transactions on Information Theory, 2022 Oliver Gebhard, Max Hahn-Klimroth, Manuel Penschuck, Maurice Rolvien, Jonathan Scarlett, Nelvin Tan, Olaf Parczyk BibTeX
AI in Society, Science, and Technology
New Ramsey Multiplicity Bounds and Search Heuristics Discrete Mathematics Days, 2022 Olaf Parczyk, Sebastian Pokutta, Christoph Spiegel, Tibor Szabó BibTeX
AI in Society, Science, and Technology
On generalized surrogate duality in mixed-integer nonlinear programming Mathematical Programming, 192(1), pp. 89-118, 2022 Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros Gleixner, Andrea Lodi, Felipe Serrano BibTeX
DOI
AI in Society, Science, and Technology
Optimization under Connected Uncertainty INFORMS Journal on Optimization, 4(3), pp. 326-346, 2022 Omid Nohadani, Kartikey Sharma BibTeX
DOI
AI in Society, Science, and Technology
Optimizing a low-dimensional convex function over a high-dimensional cub SIAM Journal on Optimization, 2022 Christoph Hunkenschröder, Sebastian Pokutta, Robert Weismantel BibTeX
AI in Society, Science, and Technology
Optimizing a low-dimensional convex function over a high-dimensional cube SIAM Journal on Optimization, 2022 Christoph Hunkenschröder, Sebastian Pokutta, Robert Weismantel BibTeX
AI in Society, Science, and Technology
Pairwise Conditional Gradients without Swap Steps and Sparser Kernel Herding Proceedings of the International Conference on Machine Learning, 2022 Kazuma Tsuji, Ken'ichiro Tanaka, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Solving the time-independent Schrödinger equation for chains of coupled excitons and phonons using tensor trains The Journal of Chemical Physics, 156(2), p. 024109, 2022 Patrick Gelß, Rupert Klein, Sebastian Matera, Burkhard Schmidt BibTeX
DOI
arXiv
AI in Society, Science, and Technology
Strengthening SONC Relaxations with Constraints Derived from Variable Bounds Proceedings of the Hungarian Global Optimization Workshop HUGO 2022, pp. 41-44, 2022 (preprint available as ZIB-Report 22-23) Ksenia Bestuzheva, Ambros Gleixner, Helena Völker PDF (ZIB-Report)
BibTeX
arXiv
AI in Society, Science, and Technology
The Machine Learning for Combinatorial Optimization Competition (ML4CO): results and insights Proceedings of Conference on Neural Information Processing Systems, 2022 Maxime Gasse, Simon Bowly, Quentin Cappart, Jonas Charfreitag, Laurent Charlin, Didier Chételat, Antonia Chmiela, Justin Dumouchelle, Ambros Gleixner, Aleksandr M. Kazachkov, Elias Khalil, Pawel Lichocki, Andrea Lodi, Miles Lubin, Chris J. Maddison, Morris Christopher, Dimitri J. Papageorgiou, Augustin Parjadis, Sebastian Pokutta, Antoine Prouvost, Lara Scavuzzo, Giulia Zarpellon, Linxin Yang, Sha Lai, Akang Wang, Xiaodong Luo, Xiang Zhou, Haohan Huang, Shengcheng Shao, Yuanming Zhu, Dong Zhang, Tao Quan, Zixuan Cao, Yang Xu, Zhewei Huang, Shuchang Zhou, Chen Binbin, He Minggui, Hao Hao, Zhang Zhiyu, An Zhiwu, Mao Kun BibTeX
AI in Society, Science, and Technology
Towards Sharing Brain Images: Differentially Private TOF-MRA Images with Segmentation Labels Using Generative Adversarial Networks Frontiers in Artificial Intelligence, 2022 Tabea Kossen, Manuel A. Hirzel, Vince I. Madai, Franziska Boenisch, Anja Hennemuth, Kristian Hildebrand, Sebastian Pokutta, Kartikey Sharma, Adam Hilbert, Jan Sobesky, Ivana Galinovic, Ahmed A. Khalil, Jochen B. Fiebach, Dietmar Frey BibTeX
DOI
AI in Society, Science, and Technology
Training Characteristic Functions with Reinforcement Learning: XAI-methods Play Connect Four Proceedings of the International Conference on Machine Learning, 2022 Stephan Wäldchen, Felix Huber, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Triangles in randomly perturbed graphs Combinatorics, Probability and Computing, 2022 Julia Böttcher, Amedeo Sgueglia, Jozef Skokan, Olaf Parczyk BibTeX
AI in Society, Science, and Technology
a framework for generalized Benders' decomposition and its applications to multilevel optimization Mathematical Programming, 2022 Suresh Bolusani, Ted K. Ralphs BibTeX
AI in Society, Science, and Technology
a variational inequality model for the construction of signals from inconsistent nonlinear equations SIAM Journal on Imaging Sciences, 2022 P. L. Combettes, Zev Woodstock BibTeX
AI in Society, Science, and Technology
block-activated algorithms for multicomponent fully nonsmooth minimization Proceedings of ICASSP 2022 - 2022 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2022 M. N. Búi, P. L. Combettes, Zev Woodstock BibTeX
AI in Society, Science, and Technology
signal recovery from inconsistent nonlinear observations Proceedings of ICASSP 2022 - 2022 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2022 P. L. Combettes, Zev Woodstock BibTeX
AI in Society, Science, and Technology
2021
A Computational Status Update for Exact Rational Mixed Integer Programming Integer Programming and Combinatorial Optimization: 22th International Conference, IPCO 2021, 2021 (preprint available as ZIB-Report 21-04) Leon Eifler, Ambros Gleixner PDF (ZIB-Report)
BibTeX
DOI
AI in Society, Science, and Technology
An Algorithm-Independent Measure of Progress for Linear Constraint Propagation 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), pp. 52:1-52:17, Vol.210, Leibniz International Proceedings in Informatics (LIPIcs), 2021 (epub ahead of print) Boro Sofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
DOI
AI in Society, Science, and Technology
CINDy: Conditional gradient-based Identification of Non-linear Dynamics – Noise-robust recovery Journal of Computational and Applied Mathematics, 2021 (under review) Alejandro Carderera, Sebastian Pokutta, Christof Schütte, Martin Weiser BibTeX
arXiv
AI in Society, Science, and Technology
Complexity of near-optimal robust versions of multilevel optimization problems Optimization Letters, 15(8), pp. 2597-2610, 2021 Mathieu Besançon, Miguel F. Anjos, Luce Brotcorne BibTeX
DOI
AI in Society, Science, and Technology
Conflict Analysis for MINLP INFORMS Journal on Computing, 33(2), pp. 421-435, 2021 (preprint available as ) Jakob Witzig, Timo Berthold BibTeX
DOI
AI in Society, Science, and Technology
Efficient Online-Bandit Strategies for Minimax Learning Problems 2021 Christophe Roux, Sebastian Pokutta, Elias Wirth, Thomas Kerdreux BibTeX
AI in Society, Science, and Technology
Estimating the Size of Branch-And-Bound Trees INFORMS Journal on Computing, 2021 (preprint available as ) Gregor Hendel, Daniel Anderson, Pierre Le Bodic, Marc Pfetsch BibTeX
DOI
AI in Society, Science, and Technology
Incremental design of water symbiosis networks with prior knowledge: The case of an industrial park in Kenya Science of the Total Environment, Vol.751, 2021 Elham Ramin, Ksenia Bestuzheva, Carina Gargalo, Danial Ramin, Carina Schneider, Pedram Ramin, Xavier Flores-Alsina, Maj M. Andersen, Krist V. Gernaey BibTeX
DOI
AI in Society, Science, and Technology
Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search Constraints, Vol.26, pp. 26-55, 2021 Jo Devriendt, Ambros Gleixner, Jakob Nordström BibTeX
DOI
AI in Society, Science, and Technology
Learning to Schedule Heuristics in Branch and Bound Thirty-fifth Conference on Neural Information Processing Systems, NeurIPS 2021, 2021 Antonia Chmiela, Elias B. Khalil, Ambros Gleixner, Andrea Lodi, Sebastian Pokutta BibTeX
arXiv
AI in Society, Science, and Technology
Learning to Use Local Cuts Master's thesis, Freie Universität Berlin, Timo Berthold, Ralf Borndörfer, Tim Conrad (Advisors), 2021 Matteo Francobaldi PDF
BibTeX
AI in Society, Science, and Technology
Linear Bandits on Uniformly Convex Sets Journal of Machine Learning Research, 22(284), pp. 1-23, 2021 Thomas Kerdreux, Christophe Roux, Alexandre d'Aspremont, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Local and Global Uniform Convexity Conditions 2021 Thomas Kerdreux, Alexandre d'Aspremont, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Location, transshipment and routing: An adaptive transportation network integrating long-haul and local vehicle routing ZIB-Report 21-12 Junko Hosoda, Stephen J. Maher, Yuji Shinano, Jonas Christoffer Villumsen PDF
BibTeX
URN
AI in Society, Science, and Technology
MIPLIB 2017: Data-Driven Compilation of the 6th Mixed-Integer Programming Library Mathematical Programming Computation, 13(3), pp. 443-490, 2021 Ambros Gleixner, Gregor Hendel, Gerald Gamrath, Tobias Achterberg, Michael Bastubbe, Timo Berthold, Philipp M. Christophel, Kati Jarck, Thorsten Koch, Jeff Linderoth, Marco Lübbecke, Hans Mittelmann, Derya Ozyurt, Ted Ralphs, Domenico Salvagnin, Yuji Shinano BibTeX
DOI
AI in Society, Science, and Technology
On the implementation and strengthening of intersection cuts for QCQPs Integer Programming and Combinatorial Optimization: 22nd International Conference, IPCO 2021, pp. 134-147, Vol.22, 2021 (preprint available as ) Antonia Chmiela, Gonzalo Muñoz, Felipe Serrano PDF (ZIB-Report)
BibTeX
DOI
AI in Society, Science, and Technology
Parameter-free Locally Accelerated Conditional Gradients ICML 2021, 2021 Alejandro Carderera, Jelena Diakonikolas, Cheuk Yin Lin, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Simple steps are all you need: Frank-Wolfe and generalized self-concordant functions Thirty-fifth Conference on Neural Information Processing Systems, NeurIPS 2021, 2021 Alejandro Carderera, Sebastian Pokutta, Besançon Mathieu BibTeX
AI in Society, Science, and Technology
The SCIP Optimization Suite 8.0 ZIB-Report 21-41 Ksenia Bestuzheva, Mathieu Besançon, Wei-Kun Chen, Antonia Chmiela, Tim Donkiewicz, Jasper van Doornmalen, Leon Eifler, Oliver Gaul, Gerald Gamrath, Ambros Gleixner, Leona Gottwald, Christoph Graczyk, Katrin Halbig, Alexander Hoen, Christopher Hojny, Rolf van der Hulst, Thorsten Koch, Marco Lübbecke, Stephen J. Maher, Frederic Matter, Erik Mühmer, Benjamin Müller, Marc E. Pfetsch, Daniel Rehfeldt, Steffan Schlein, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Boro Sofranac, Mark Turner, Stefan Vigerske, Fabian Wegscheider, Philipp Wellner, Dieter Weninger, Jakob Witzig PDF
BibTeX
URN
AI in Society, Science, and Technology
Tight Convex Relaxations for the Expansion Planning Problem ZIB-Report 21-05 Ralf Lenz, Felipe Serrano PDF
BibTeX
URN
AI in Society, Science, and Technology
2020
Accelerating Domain Propagation: an Efficient GPU-Parallel Algorithm over Sparse Matrices 2020 IEEE/ACM 10th Workshop on Irregular Applications: Architectures and Algorithms (IA3), pp. 1-11, 2020 Boro Sofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
arXiv
DOI
AI in Society, Science, and Technology
An environment for sustainable research software in Germany and beyond: current state, open challenges, and call for action [version 1; peer review: 1 approved, 1 approved with reservations] F1000Research, 2020 H. Anzt, F. Bach, S. Druskat, F. Löffler, A. Loewe, B. Y. Renard, G. Seemann, A. Struck, E. Achhammer, F. Appell, M. Bader, L. Brusch, C. Busse, G. Chourdakis, P. W. Dabrowski, P. Ebert, B. Flemisch, S. Friedl, B. Fritzsch, M. D. Funk, V. Gast, F. Goth, J.-N. Grad, Sibylle Hermann, F. Hohmann, S. Janosch, D. Kutra, J. Linxweiler, T. Muth, Wolfgang Peters-Kottig, F. Rack, F. H. C. Raters, S. Rave, G. Reina, M. Reißig, T. Ropinski, J. Schaarschmidt, H. Seibold, J. P. Thiele, B. Uekermann, S. Unger, R. Weeber BibTeX
DOI
AI in Society, Science, and Technology
An exploratory computational analysis of dual degeneracy in mixed-integer programming EURO Journal on Computational Optimization, pp. 241-246, 2020 Gerald Gamrath, Timo Berthold, Domenico Salvagnin BibTeX
DOI
AI in Society, Science, and Technology
BEAM-ME: Accelerating Linear Energy Systems Models by a Massively Parallel Interior Point Method NIC Symposium 2020, pp. 345-352, Vol.50, NIC Series, 2020 Thomas Breuer, Michael Bussieck, Karl-Kien Cao, Fred Fiand, Hans-Christian Gils, Ambros Gleixner, Dmitry Khabi, Nils Kempke, Thorsten Koch, Daniel Rehfeldt, Manuel Wetzel BibTeX
AI in Society, Science, and Technology
Boosting Frank-Wolfe by Chasing Gradients Proceedings of ICML, 2020 Cyrille W. Combettes, Sebastian Pokutta BibTeX
arXiv
AI in Society, Science, and Technology
IPBoost – Non-Convex Boosting via Integer Programming Proceedings of ICML, 2020 Marc Pfetsch, Sebastian Pokutta BibTeX
arXiv
AI in Society, Science, and Technology
Locally Accelerated Conditional Gradients Proceedings of AISTATS, 2020 Jelena Diakonikolas, Alejandro Carderera, Sebastian Pokutta BibTeX
arXiv
AI in Society, Science, and Technology
Massive Parallelization for Finding Shortest Lattice Vectors Based on Ubiquity Generator Framework 2020 SC20: International Conference for High Performance Computing, Networking, Storage and Analysis (SC), pp. 834-848, 2020 Yuji Shinano, N. Tateiwa, S. Nakamura, A. Yoshida, M. Yasuda, S. Kaji, K. Fujisawa BibTeX
DOI
AI in Society, Science, and Technology
Multiperiod Optimal Power Flow Problem In Distribution System Planning Master's thesis, Freie Universität Berlin, Ralf Borndörfer, Niels Lindner (Advisors), 2020 Jaap Pedersen BibTeX
AI in Society, Science, and Technology
On the Unreasonable Effectiveness of the Greedy Algorithm: Greedy Adapts to Sharpness Proceedings of ICML, 2020 Sebastian Pokutta, M. Singh, A. Torrico BibTeX
arXiv
AI in Society, Science, and Technology
Projection-Free Adaptive Gradients for Large-Scale Optimization 2020 Combettes Cryille W., Christoph Spiegel, Sebastian Pokutta BibTeX
arXiv
AI in Society, Science, and Technology
Projection-Free Optimization on Uniformly Convex Sets To Appear in Proceedings of AISTATS, 2020 Thomas Kerdreux, Alexandre d'Aspremont, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Restarting Algorithms: Sometimes there is Free Lunch Proceedings of CPAIOR, 2020 Sebastian Pokutta BibTeX
arXiv
AI in Society, Science, and Technology
Second-order Conditional Gradient Sliding 2020 Alejandro Carderera, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
Structured Robust Submodular Maximization: Offline and Online Algorithms INFORMS Journal on Computing, 2020 N. Anari, N. Haghtalab, S. Naor, Sebastian Pokutta, M. Singh, A. Torrico BibTeX
arXiv
AI in Society, Science, and Technology
The confined primal integral: a measure to benchmark heuristic MINLP solvers against global MINLP solvers Mathematical Programming, 2020 Zsolt Csizmadia, Timo Berthold BibTeX
DOI
AI in Society, Science, and Technology
Two-row and two-column mixed-integer presolve using hashing-based pairing methods EURO Journal on Computational Optimization, 8(3-4), pp. 205-240, 2020 Patrick Gemander, Wei-Kun Chen, Dieter Weninger, Leona Gottwald, Ambros Gleixner BibTeX
DOI
AI in Society, Science, and Technology
Walking in the Shadow: A New Perspective on Descent Directions for Constrained Minimization Proceedings of NeurIPS, 2020 Hassan Mortagy, Swati Gupta, Sebastian Pokutta BibTeX
arXiv
AI in Society, Science, and Technology
2019
Model reduction by time aggregation for optimal design of energy supply systems by an MILP hierarchical branch and bound method Energy, Vol.181, pp. 782-792, 2019 Ryohei Yokoyama, Yuji Shinano, Yuki Wakayama, Tetsuya Wakui BibTeX
DOI
AI in Society, Science, and Technology
2018
An Online-Learning Approach to Inverse Optimization 2018 Andreas Bärmann, Alexander Martin, Sebastian Pokutta, Oskar Schneider BibTeX
AI in Society, Science, and Technology
Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081) Dagstuhl Reports, 8(2), pp. 64-87, 2018 Pierre Bonami, Ambros Gleixner, Jeff Linderoth, Ruth Misener BibTeX
DOI
AI in Society, Science, and Technology
Principled Deep Neural Network Training through Linear Programming 2018 Daniel Bienenstock, Gonzalo Muñoz, Sebastian Pokutta BibTeX
AI in Society, Science, and Technology
On a Frank-Wolfe approach for abs-smooth functions Optimization Methods and Software, (epub ahead of print) Timo Kreimeier, Sebastian Pokutta, Andrea Walther, Zev Woodstock BibTeX
DOI
AI in Society, Science, and Technology