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
2021
2020
2019
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 (accepted for publication, preprint available as ZIB-Report 21-04) |
PDF (ZIB-Report)
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 |
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 | 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 |
| Jakob Witzig, Timo Berthold | Conflict Analysis for MINLP | INFORMS Journal on Computing, 2020 (accepted for publication) |
BibTeX
|
| Ambros Gleixner, Jakob Nordström, Jo Devriendt | Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search | Constraints, 2020 (accepted for publication) |
BibTeX
|
| 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 |
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 |