Alexander Hoen
📬 Contact
- office
- Room 3101 at ZIB
- hoen (at) zib.de
🎓 Curriculum vitae
- since 2020
- Researcher at ZIB
- 2018
- M.Sc. at Friedrich-Alexander-Universität Erlangen-Nürnberg
- 2015
- B.Sc. in Mathematics at Universität Augsburg
📝 Publications and preprints
Preprints
- Bolusani, S., Besançon, M., Bestuzheva, K., Chmiela, A., Dionísio, J., Donkiewicz, T., van Doornmalen, J., Eifler, L., Ghannam, M., Gleixner, A., Graczyk, C., Halbig, K., Hedtke, I., Hoen, A., Hojny, C., van der Hulst, R., Kamp, D., Koch, T., Kofler, K., … Xu, L. (2024). The SCIP Optimization Suite 9.0 (ZIB Report No. 24-02-29). Zuse Institute Berlin.
[URL]
[arXiv]
[code]
[BibTeX]
- Halbig, K., Hoen, A., Gleixner, A., Witzig, J., and Weninger, D. (2024). A Diving Heuristic for Mixed-integer Problems with Unbounded Semi-continuous Variables.
[arXiv]
[BibTeX]
- Hoen, A., Kamp, D., and Gleixner, A. (2024). MIP-DD: A Delta Debugger for Mixed Integer Programming Solvers.
[arXiv]
[BibTeX]
- Bestuzheva, K., Besançon, M., Chen, W.-K., Chmiela, A., Donkiewicz, T., van Doornmalen, J., Eifler, L., Gaul, O., Gamrath, G., Gleixner, A., Gottwald, L., Graczyk, C., Halbig, K., Hoen, A., Hojny, C., van der Hulst, R., Koch, T., Lübbecke, M., Maher, S. J., … Witzig, J. (2021). The SCIP Optimization Suite 8.0 (ZIB Report No. 21-41). Zuse Institute Berlin.
[URL]
[arXiv]
[code]
[BibTeX]
Conference proceedings
- Hoen, A., Oertel, A., Gleixner, A., and Nordström, J. (2024). Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs. Proceedings of the International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 310–328.
DOI: 10.1007/978-3-031-60597-0_20
[arXiv]
[BibTeX]
- Mexi, G., Besançon, M., Bolusani, S., Chmiela, A., Hoen, A., and Gleixner, A. (2023). Scylla: a Matrix-free Fix-propagate-and-project Heuristic for Mixed-integer Optimization. Proceedings of the Conference of the Society for Operations Research in Germany.
[arXiv]
[BibTeX]
Full articles
- Gleixner, A., Gottwald, L., and Hoen, A. (2023). PaPILO: a Parallel Presolving Library for Integer and Linear Programming with Multiprecision Support. INFORMS Journal on Computing.
DOI: 10.1287/ijoc.2022.0171
[arXiv]
[BibTeX]
- Bestuzheva, K., Besançon, M., Chen, W.-K., Chmiela, A., Donkiewicz, T., van Doornmalen, J., Eifler, L., Gaul, O., Gamrath, G., Gleixner, A., Gottwald, L., Graczyk, C., Halbig, K., Hoen, A., Hojny, C., van der Hulst, R., Koch, T., Lübbecke, M., Maher, S. J., … Witzig, J. (2023). Enabling Research Through the SCIP Optimization Suite 8.0. ACM Transactions on Mathematical Software.
DOI: 10.1145/3585516
[arXiv]
[BibTeX]
🔬 Projects
Research Campus MODAL SynLab
SynLab researches mathematical generalization of application-specific advances achieved in the Gas-, Rail– and MedLab of the research campus MODAL. The focus is on exact methods for solving a broad class of discrete-continuous optimization problems. This requires advanced techniques for structure recognition, consideration of nonlinear restrictions from practice, and the efficient implementation of mathematical algorithms on modern computer architectures. The results are bundled in a professional software package and complemented by a range of high-performance methods for specific applications with a high degree of innovation.
SynLab
Apr 2020 to Mar 2025
13
53
💬 Talks and posters
Conference and workshop talks
- Impact of Sassy, Bliss, and Nauty in SCIP
ZIB-Siemens Workshop, Munich - Jul 2024
- Certifying MIP-Based Presolve Reductions for 0-1 Integer Linear Programs
25th International Symposium on Mathematical Programming (ISMP), Montréal - May 2024
- Certifying MIP-Based Presolve Reductions for 0-1 Integer Linear Programs
21st CPAIOR Conference, Uppsala - Nov 2023
- Recent Advances in SCIP Optimization Suite
ZIB-Siemens Workshop, Berlin - Sep 2023
- Recent Advances in SCIP
SAP-ZIB-FAU Workshop, Walldorf - Jul 2023
- On Performance Variability in Pseudo-Boolean Solving and the Impact of Trivial Model Simplifications
Pragmatics of SAT 2023 - Jan 2023
- Recent Advances in SCIP
SAP-ZIB-FAU Workshop, Walldorf
Poster presentations
- May 2024
- MIP-DD. A Delta Debugger for Mixed Integer Programming Solvers
21st CPAIOR Conference, Uppsala