KI in Gesellschaft, Wissenschaft und Technologie

Die Abteilung für KI in Gesellschaft, Wissenschaft und Technologie befasst sich mit der Erforschung und dem Design von KI-Methoden in verschiedenen Anwendungsbereichen.

Publikationen

2023 2022 2021 2020 2019 2018

2023
Olaf Parczyk, Sebastian Pokutta, Christoph Spiegel, Tibor Szabó	Fully Computer-assisted Proofs in Extremal Combinatorics	Proceedings of the AAAI Conference on Artificial Intelligence, Vol.37, 2023 (accepted for publication)	BibTeX
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
Nina Kamčev, Christoph Spiegel	Another note on intervals in the Hales-Jewett theorem	Electronic Journal of Combinatorics, 29(1), p. P1.62, 2022 (accepted for publication)	BibTeX DOI
Elias Wirth, Sebastian Pokutta	Conditional Gradients for the Approximately Vanishing Ideal	Proceedings of the International Conference on Artificial Intelligence and Statistics, 2022 (accepted for publication)	BibTeX
Ksenia Bestuzheva, Ambros Gleixner, Tobias Achterberg	Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Products	2022 (under review)	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 (accepted for publication)	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 (accepted for publication)	BibTeX
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
Christoph Hunkenschröder, Sebastian Pokutta, Robert Weismantel	Optimizing a low-dimensional convex function over a high-dimensional cub	SIAM Journal on Optimization, 2022 (accepted for publication)	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 (accepted for publication)	BibTeX
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 (accepted for publication)	BibTeX
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 (accepted for publication)	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
Ksenia Bestuzheva, Ambros Gleixner, Stefan Vigerske	A Computational Study of Perspective Cuts	2021 (under review, preprint available as ZIB-Report 21-07)	PDF (ZIB-Report) BibTeX
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	arXiv, 2021 (under review)	BibTeX
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
Alejandro Carderera, Sebastian Pokutta, Besançon Mathieu	FrankWolfe.jl: a high-performance and flexible toolbox for Frank-Wolfe algorithms and Conditional Gradients	2021 (under review)	BibTeX
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	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 (under review)	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
Yuji Shinano, Ryohei Yokoyama, 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
Cyrille W. Combettes, Sebastian Pokutta	Revisiting the Approximate Carathéodory Problem via the Frank-Wolfe Algorithm	2019	BibTeX
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

KI in Gesellschaft, Wissenschaft und Technologie

Arbeitsgruppen:

Mitglieder:

Publikationen

2023

2022

2021

2020

2019

2018