AI in Society, Science, and Technology (AIS²T)

The department for AI in Society, Science, and Technology is concerned with the research and design of AI methods in various application domains.

Publications

2023 2022 2021 2020 2019 2018

2023
Ksenia Bestuzheva, Ambros Gleixner, Stefan Vigerske	A Computational Study of Perspective Cuts	Mathematical Programming Computation, 2023 (epub ahead of print, preprint available as ZIB-Report 21-07)	PDF (ZIB-Report) BibTeX DOI
David Martínez-Rubio, Sebastian Pokutta	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	BibTeX
David Martínez-Rubio, Elias Wirth, Sebastian Pokutta	Accelerated and Sparse Algorithms for Approximate Personalized PageRank and Beyond	Proceedings of Machine Learning Research, pp. 1-35, Vol.195, 2023	BibTeX
Felix Prause, Ralf Borndörfer, Boris Grimm, Alexander Tesch	Approximating the RSRP with Predictive Maintenance	ZIB-Report 23-04	PDF BibTeX URN
Felix Prause, Ralf Borndörfer	Construction of a Test Library for the Rolling Stock Rotation Problem with Predictive Maintenance	ZIB-Report 23-20	PDF BibTeX URN
Aigner Kevin-Martin, Andreas Bärmann, Kristin Braun, Frauke Liers, Sebastian Pokutta, Oskar Schneider, Kartikey Sharma, Sebastian Tschuppik	Data-driven Distributionally Robust Optimization over Time	INFORMS Journal on Optimization, 2023 (epub ahead of print)	BibTeX DOI
Ksenia Bestuzheva, Ambros Gleixner, Tobias Achterberg	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	BibTeX DOI
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 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	Enabling Research through the SCIP Optimization Suite 8.0	ACM Transactions on Mathematical Software, 49(2), 2023	BibTeX DOI
Olaf Parczyk, Sebastian Pokutta, Christoph Spiegel, Tibor Szabó	Fully Computer-assisted Proofs in Extremal Combinatorics	Proceedings of the AAAI Conference on Artificial Intelligence, pp. 12482-12490, 37(10), 2023	BibTeX DOI
Gioni Mexi, Timo Berthold, Ambros Gleixner, Jakob Nordström	Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning	Proceedings of 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), 2023 (in press)	BibTeX
Antonia Chmiela, Gonzalo Muñoz, Felipe Serrano	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 )	BibTeX DOI
Antonia Chmiela, Ambros Gleixner, Pawel Lichocki, Sebastian Pokutta	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 )	BibTeX DOI
Cyrille Combettes, Sebastian Pokutta	Revisiting the Approximate Carathéodory Problem via the Frank-Wolfe Algorithm	Mathematical Programming, Vol.197, pp. 191-214, 2023	BibTeX DOI
Leon Eifler, Ambros Gleixner	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)	PDF (ZIB-Report) BibTeX
Ksenia Bestuzheva, Helena Völker, Ambros Gleixner	Strengthening SONC Relaxations with Constraints Derived from Variable Bounds		PDF BibTeX URN
Juanjo Rué Perna, Christoph Spiegel	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	BibTeX DOI
Jerome Riedel, Patrick Gelß, Rupert Klein, Burkhard Schmidt	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	BibTeX DOI
2022
Leon Eifler, Ambros Gleixner, Jonad Pulaj	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)	PDF (ZIB-Report) BibTeX DOI
Leon Eifler, Ambros Gleixner	A computational status update for exact rational mixed integer programming	Mathematical Programming, 2022	BibTeX DOI
Boro Šofranac, Ambros Gleixner, Sebastian Pokutta	Accelerating domain propagation: An efficient GPU-parallel algorithm over sparse matrices	Parallel Computing, Vol.109, p. 102874, 2022	BibTeX DOI
Boro Šofranac, Ambros Gleixner, Sebastian Pokutta	An Algorithm-independent Measure of Progress for Linear Constraint Propagation	Constraints, Vol.27, pp. 432-455, 2022	BibTeX DOI
Nina Kamčev, Christoph Spiegel	Another note on intervals in the Hales-Jewett theorem	Electronic Journal of Combinatorics, 29(1), p. P1.62, 2022	BibTeX DOI
Elias Wirth, Sebastian Pokutta	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	BibTeX
Ksenia Bestuzheva, Ambros Gleixner, Tobias Achterberg	Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Products	2022	BibTeX arXiv
Francisco Criado, David Martínez-Rubio, Sebastian Pokutta	Fast Algorithms for Packing Proportional Fairness and its Dual	Proceedings of the Conference on Neural Information Processing Systems, Vol.36, 2022	BibTeX
Besançon Mathieu, Alejandro Carderera, Sebastian Pokutta	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	BibTeX DOI
Ksenia Bestuzheva, Antonia Chmiela, Benjamin Müller, Felipe Serrano, Stefan Vigerske, Fabian Wegscheider	Global Optimization of Mixed-Integer Nonlinear Programs with SCIP 8.0	Mathematical Programming, Series B, 2022 (under review, preprint available as ZIB-Report 23-01)	PDF (ZIB-Report) BibTeX
Jan MacDonald, Mathieu Besançon, Sebastian Pokutta	Interpretable Neural Networks with Frank-Wolfe: Sparse Relevance Maps and Relevance Orderings	Proceedings of the International Conference on Machine Learning, 2022	BibTeX
Patrick Gelß, Stefan Klus, Sebastian Knebel, Zarin Shakibaei, Sebastian Pokutta	Low-Rank Tensor Decompositions of Quantum Circuits	Journal of Computational Physics, 2022 (under review)	BibTeX arXiv
Olaf Parczyk, Sebastian Pokutta, Christoph Spiegel, Tibor Szabó	New Ramsey Multiplicity Bounds and Search Heuristics	Discrete Mathematics Days, 2022	BibTeX
Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros Gleixner, Andrea Lodi, Felipe Serrano	On generalized surrogate duality in mixed-integer nonlinear programming	Mathematical Programming, 192(1), pp. 89-118, 2022	BibTeX DOI
Omid Nohadani, Kartikey Sharma	Optimization under Connected Uncertainty	INFORMS Journal on Optimization, 4(3), pp. 326-346, 2022	BibTeX DOI
Christoph Hunkenschröder, Sebastian Pokutta, Robert Weismantel	Optimizing a low-dimensional convex function over a high-dimensional cub	SIAM Journal on Optimization, 2022	BibTeX
Kazuma Tsuji, Ken'ichiro Tanaka, Sebastian Pokutta	Pairwise Conditional Gradients without Swap Steps and Sparser Kernel Herding	Proceedings of the International Conference on Machine Learning, 2022	BibTeX
Patrick Gelß, Rupert Klein, Sebastian Matera, Burkhard Schmidt	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	BibTeX DOI arXiv
Ksenia Bestuzheva, Ambros Gleixner, Helena Völker	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)	PDF (ZIB-Report) BibTeX arXiv
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	Towards Sharing Brain Images: Differentially Private TOF-MRA Images with Segmentation Labels Using Generative Adversarial Networks	Frontiers in Artificial Intelligence, 2022	BibTeX DOI
Stephan Wäldchen, Felix Huber, Sebastian Pokutta	Training Characteristic Functions with Reinforcement Learning: XAI-methods Play Connect Four	Proceedings of the International Conference on Machine Learning, 2022	BibTeX
2021
Leon Eifler, Ambros Gleixner	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)	PDF (ZIB-Report) BibTeX DOI
Boro Sofranac, Ambros Gleixner, Sebastian Pokutta	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)	BibTeX DOI
Alejandro Carderera, Sebastian Pokutta, Christof Schütte, Martin Weiser	CINDy: Conditional gradient-based Identification of Non-linear Dynamics – Noise-robust recovery	Journal of Computational and Applied Mathematics, 2021 (under review)	BibTeX arXiv
Mathieu Besançon, Miguel F. Anjos, Luce Brotcorne	Complexity of near-optimal robust versions of multilevel optimization problems	Optimization Letters, 15(8), pp. 2597-2610, 2021	BibTeX DOI
Jakob Witzig, Timo Berthold	Conflict Analysis for MINLP	INFORMS Journal on Computing, 33(2), pp. 421-435, 2021 (preprint available as )	BibTeX DOI
Christophe Roux, Sebastian Pokutta, Elias Wirth, Thomas Kerdreux	Efficient Online-Bandit Strategies for Minimax Learning Problems	2021	BibTeX
Gregor Hendel, Daniel Anderson, Pierre Le Bodic, Marc Pfetsch	Estimating the Size of Branch-And-Bound Trees	INFORMS Journal on Computing, 2021 (preprint available as )	BibTeX DOI
Elham Ramin, Ksenia Bestuzheva, Carina Gargalo, Danial Ramin, Carina Schneider, Pedram Ramin, Xavier Flores-Alsina, Maj M. Andersen, Krist V. Gernaey	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	BibTeX DOI
Jo Devriendt, Ambros Gleixner, Jakob Nordström	Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search	Constraints, Vol.26, pp. 26-55, 2021	BibTeX DOI
Antonia Chmiela, Elias B. Khalil, Ambros Gleixner, Andrea Lodi, Sebastian Pokutta	Learning to Schedule Heuristics in Branch and Bound	Thirty-fifth Conference on Neural Information Processing Systems, NeurIPS 2021, 2021	BibTeX arXiv
Matteo Francobaldi	Learning to Use Local Cuts	Master's thesis, Freie Universität Berlin, Timo Berthold, Ralf Borndörfer, Tim Conrad (Advisors), 2021	PDF BibTeX
Thomas Kerdreux, Christophe Roux, Alexandre d'Aspremont, Sebastian Pokutta	Linear Bandits on Uniformly Convex Sets	Journal of Machine Learning Research, 22(284), pp. 1-23, 2021	BibTeX
Thomas Kerdreux, Alexandre d'Aspremont, Sebastian Pokutta	Local and Global Uniform Convexity Conditions	2021	BibTeX
Junko Hosoda, Stephen J. Maher, Yuji Shinano, Jonas Christoffer Villumsen	Location, transshipment and routing: An adaptive transportation network integrating long-haul and local vehicle routing	ZIB-Report 21-12	PDF BibTeX URN
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	MIPLIB 2017: Data-Driven Compilation of the 6th Mixed-Integer Programming Library	Mathematical Programming Computation, 13(3), pp. 443-490, 2021	BibTeX DOI
Antonia Chmiela, Gonzalo Muñoz, Felipe Serrano	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 )	PDF (ZIB-Report) BibTeX DOI
Alejandro Carderera, Jelena Diakonikolas, Cheuk Yin Lin, Sebastian Pokutta	Parameter-free Locally Accelerated Conditional Gradients	ICML 2021, 2021	BibTeX
Alejandro Carderera, Sebastian Pokutta, Besançon Mathieu	Simple steps are all you need: Frank-Wolfe and generalized self-concordant functions	Thirty-fifth Conference on Neural Information Processing Systems, NeurIPS 2021, 2021	BibTeX
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	The SCIP Optimization Suite 8.0	ZIB-Report 21-41	PDF BibTeX URN
Ralf Lenz, Felipe Serrano	Tight Convex Relaxations for the Expansion Planning Problem	ZIB-Report 21-05	PDF BibTeX URN
2020
Boro Sofranac, Ambros Gleixner, Sebastian Pokutta	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	BibTeX arXiv DOI
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	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	BibTeX DOI
Gerald Gamrath, Timo Berthold, Domenico Salvagnin	An exploratory computational analysis of dual degeneracy in mixed-integer programming	EURO Journal on Computational Optimization, pp. 241-246, 2020	BibTeX DOI
Thomas Breuer, Michael Bussieck, Karl-Kien Cao, Fred Fiand, Hans-Christian Gils, Ambros Gleixner, Dmitry Khabi, Nils Kempke, Thorsten Koch, Daniel Rehfeldt, Manuel Wetzel	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	BibTeX
Cyrille W. Combettes, Sebastian Pokutta	Boosting Frank-Wolfe by Chasing Gradients	Proceedings of ICML, 2020	BibTeX arXiv
Sebastian Pokutta, Christoph Spiegel, Max Zimmer	Deep Neural Network Training with Frank-Wolfe	2020	BibTeX arXiv
Marc Pfetsch, Sebastian Pokutta	IPBoost – Non-Convex Boosting via Integer Programming	Proceedings of ICML, 2020	BibTeX arXiv
Jelena Diakonikolas, Alejandro Carderera, Sebastian Pokutta	Locally Accelerated Conditional Gradients	Proceedings of AISTATS, 2020	BibTeX arXiv
Yuji Shinano, N. Tateiwa, S. Nakamura, A. Yoshida, M. Yasuda, S. Kaji, K. Fujisawa	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	BibTeX DOI
Jaap Pedersen	Multiperiod Optimal Power Flow Problem In Distribution System Planning	Master's thesis, Freie Universität Berlin, Ralf Borndörfer, Niels Lindner (Advisors), 2020	BibTeX
Sebastian Pokutta, M. Singh, A. Torrico	On the Unreasonable Effectiveness of the Greedy Algorithm: Greedy Adapts to Sharpness	Proceedings of ICML, 2020	BibTeX arXiv
Combettes Cryille W., Christoph Spiegel, Sebastian Pokutta	Projection-Free Adaptive Gradients for Large-Scale Optimization	2020	BibTeX arXiv
Thomas Kerdreux, Alexandre d'Aspremont, Sebastian Pokutta	Projection-Free Optimization on Uniformly Convex Sets	To Appear in Proceedings of AISTATS, 2020	BibTeX
Sebastian Pokutta	Restarting Algorithms: Sometimes there is Free Lunch	Proceedings of CPAIOR, 2020	BibTeX arXiv
Alejandro Carderera, Sebastian Pokutta	Second-order Conditional Gradient Sliding	2020	BibTeX
N. Anari, N. Haghtalab, S. Naor, Sebastian Pokutta, M. Singh, A. Torrico	Structured Robust Submodular Maximization: Offline and Online Algorithms	INFORMS Journal on Computing, 2020	BibTeX arXiv
Zsolt Csizmadia, Timo Berthold	The confined primal integral: a measure to benchmark heuristic MINLP solvers against global MINLP solvers	Mathematical Programming, 2020	BibTeX DOI
Patrick Gemander, Wei-Kun Chen, Dieter Weninger, Leona Gottwald, Ambros Gleixner	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	BibTeX DOI
Hassan Mortagy, Swati Gupta, Sebastian Pokutta	Walking in the Shadow: A New Perspective on Descent Directions for Constrained Minimization	Proceedings of NeurIPS, 2020	BibTeX arXiv
2019
Ryohei Yokoyama, Yuji Shinano, Yuki Wakayama, Tetsuya Wakui	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	BibTeX DOI
2018
Andreas Bärmann, Alexander Martin, Sebastian Pokutta, Oskar Schneider	An Online-Learning Approach to Inverse Optimization	2018	BibTeX
Pierre Bonami, Ambros Gleixner, Jeff Linderoth, Ruth Misener	Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081)	Dagstuhl Reports, 8(2), pp. 64-87, 2018	BibTeX DOI
Daniel Bienenstock, Gonzalo Muñoz, Sebastian Pokutta	Principled Deep Neural Network Training through Linear Programming	2018	BibTeX

AI in Society, Science, and Technology (AIS²T)

Research Groups:

Staff:

Publications

2023

2022

2021

2020

2019

2018