Alexander Hoen

Preprints

1. Mexi, G., Kamp, D., Shinano, Y., Pu, S., Hoen, A., Bestuzheva, K., Hojny, C., Walter, M., Pfetsch, M., Pokutta, S., and Koch, T. (2025). State-of-the-art Methods for Pseudo-Boolean Solving with SCIP. [arXiv]
   [BibTeX]

   @misc{2025_MexiEtAl_Pseudobooleanscip,
     archiveprefix = {arXiv},
     eprint = {2501.03390},
     primaryclass = {math.OC},
     year = {2025},
     author = {Mexi, Gioni and Kamp, Dominik and Shinano, Yuji and Pu, Shanwen and Hoen, Alexander and Bestuzheva, Ksenia and Hojny, Christopher and Walter, Matthias and Pfetsch, Marc and Pokutta, Sebastian and Koch, Thorsten},
     title = {State-of-the-art Methods for Pseudo-Boolean Solving with SCIP},
     date = {2025-01-06}
   }

2. 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]

   @techreport{2024_BolusaniEtAl_Scip9,
     year = {2024},
     institution = {Zuse Institute Berlin},
     type = {ZIB Report},
     month = feb,
     number = {24-02-29},
     url = {https://nbn-resolving.org/urn:nbn:de:0297-zib-95528},
     archiveprefix = {arXiv},
     eprint = {2402.17702},
     primaryclass = {math.OC},
     author = {Bolusani, Suresh and Besançon, Mathieu and Bestuzheva, Ksenia and Chmiela, Antonia and Dionísio, João and Donkiewicz, Tim and van Doornmalen, Jasper and Eifler, Leon and Ghannam, Mohammed and Gleixner, Ambros and Graczyk, Christoph and Halbig, Katrin and Hedtke, Ivo and Hoen, Alexander and Hojny, Christopher and van der Hulst, Rolf and Kamp, Dominik and Koch, Thorsten and Kofler, Kevin and Lentz, Jurgen and Manns, Julian and Mexi, Gioni and Mühmer, Erik and Pfetsch, Marc and Schlösser, Franziska and Serrano, Felipe and Shinano, Yuji and Turner, Mark and Vigerske, Stefan and Weninger, Dieter and Xu, Liding},
     title = {The SCIP Optimization Suite 9.0},
     code = {https://scipopt.org},
     date = {2024-02-27}
   }

3. 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]

   @misc{2024_HalbigEtAl_Divingheuristic,
     archiveprefix = {arXiv},
     eprint = {2403.19411},
     primaryclass = {math.OC},
     year = {2024},
     author = {Halbig, Katrin and Hoen, Alexander and Gleixner, Ambros and Witzig, Jakob and Weninger, Dieter},
     title = {A Diving Heuristic for Mixed-integer Problems with Unbounded Semi-continuous Variables},
     date = {2024-03-28}
   }

4. Hoen, A., and Gleixner, A. (2024). Analyzing the Numerical Correctness of Branch-and-bound Decisions for Mixed-integer Programming. [arXiv]
   [BibTeX]

   @misc{2024_HoenGleixner_NumericalCorrectnessBnB,
     archiveprefix = {arXiv},
     eprint = {2412.14710},
     primaryclass = {math.OC},
     year = {2024},
     author = {Hoen, Alexander and Gleixner, Ambros},
     title = {Analyzing the Numerical Correctness of Branch-and-bound Decisions for Mixed-integer Programming},
     date = {2024-12-19}
   }

5. Hoen, A., Kamp, D., and Gleixner, A. (2024). MIP-DD: A Delta Debugger for Mixed Integer Programming Solvers. [arXiv]
   [BibTeX]

   @misc{2024_HoenKampGleixner_Mipdebugger,
     archiveprefix = {arXiv},
     eprint = {2405.19770},
     primaryclass = {math.OC},
     year = {2024},
     author = {Hoen, Alexander and Kamp, Dominik and Gleixner, Ambros},
     title = {MIP-DD: A Delta Debugger for Mixed Integer Programming Solvers},
     date = {2024-05-30}
   }

6. 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]

   @techreport{2021_BestuzhevaEtAl_Scip8,
     year = {2021},
     institution = {Zuse Institute Berlin},
     type = {ZIB Report},
     month = dec,
     number = {21-41},
     url = {https://nbn-resolving.org/urn:nbn:de:0297-zib-85309},
     archiveprefix = {arXiv},
     eprint = {2112.08872},
     primaryclass = {math.OC},
     author = {Bestuzheva, Ksenia and Besançon, Mathieu and Chen, Wei-Kun and Chmiela, Antonia and Donkiewicz, Tim and van Doornmalen, Jasper and Eifler, Leon and Gaul, Oliver and Gamrath, Gerald and Gleixner, Ambros and Gottwald, Leona and Graczyk, Christoph and Halbig, Katrin and Hoen, Alexander and Hojny, Christopher and van der Hulst, Rolf and Koch, Thorsten and Lübbecke, Marco and Maher, Stephen J. and Matter, Frederic and Mühmer, Erik and Müller, Benjamin and Pfetsch, Marc and Rehfeld, Daniel and Schlein, Steffan and Schlösser, Franziska and Serrano, Felipe and Shinano, Yuji and Sofranac, Boro and Turner, Mark and Vigerske, Stefan and Wegscheider, Fabian and Wellner, Philipp and Weninger, Dieter and Witzig, Jakob},
     title = {The SCIP Optimization Suite 8.0},
     code = {https://scipopt.org},
     date = {2021-12-16}
   }

Conference proceedings

1. 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]

   @inproceedings{2024_HoenOertelGleixnerNordstrm_Mippresolvecertification,
     year = {2024},
     date = {2024-05-25},
     booktitle = {Proceedings of the International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research},
     pages = {310-328},
     doi = {10.1007/978-3-031-60597-0_20},
     archiveprefix = {arXiv},
     eprint = {2401.09277},
     primaryclass = {math.OC},
     author = {Hoen, Alexander and Oertel, Andy and Gleixner, Ambros and Nordström, Jakob},
     title = {Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs}
   }

2. Mexi, G., Besançon, M., Bolusani, S., Chmiela, A., Hoen, A., and Gleixner, A. (2023, July 7). 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]

   @inproceedings{2023_MexiEtAl_Scyllaheuristic,
     year = {2023},
     booktitle = {Proceedings of the Conference of the Society for Operations Research in Germany},
     archiveprefix = {arXiv},
     eprint = {2307.03466},
     primaryclass = {math.OC},
     author = {Mexi, Gioni and Besançon, Mathieu and Bolusani, Suresh and Chmiela, Antonia and Hoen, Alexander and Gleixner, Ambros},
     title = {Scylla: a Matrix-free Fix-propagate-and-project Heuristic for Mixed-integer Optimization},
     date = {2023-07-07}
   }

Full articles

1. 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]

   @article{2022_GleixnerGottwaldHoen_PapiloMultiprecision,
     year = {2023},
     journal = {INFORMS Journal on Computing},
     date = {2023-06-12},
     doi = {10.1287/ijoc.2022.0171},
     archiveprefix = {arXiv},
     eprint = {2206.10709},
     primaryclass = {math.OC},
     author = {Gleixner, Ambros and Gottwald, Leona and Hoen, Alexander},
     title = {PaPILO: a Parallel Presolving Library for Integer and Linear Programming with Multiprecision Support}
   }

2. 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]

   @article{2023_BestuzhevaEtAl_ResearchScip,
     year = {2023},
     journal = {ACM Transactions on Mathematical Software},
     date = {2023-03-10},
     doi = {10.1145/3585516},
     archiveprefix = {arXiv},
     eprint = {2303.07101},
     primaryclass = {math.OC},
     author = {Bestuzheva, Ksenia and Besançon, Mathieu and Chen, Wei-Kun and Chmiela, Antonia and Donkiewicz, Tim and van Doornmalen, Jasper and Eifler, Leon and Gaul, Oliver and Gamrath, Gerald and Gleixner, Ambros and Gottwald, Leona and Graczyk, Christoph and Halbig, Katrin and Hoen, Alexander and Hojny, Christopher and van der Hulst, Rolf and Koch, Thorsten and Lübbecke, Marco and Maher, Stephen J. and Matter, Frederic and Mühmer, Erik and Müller, Benjamin and Pfetsch, Marc and Rehfeld, Daniel and Schlein, Steffan and Schlösser, Franziska and Serrano, Felipe and Shinano, Yuji and Sofranac, Boro and Turner, Mark and Vigerske, Stefan and Wegscheider, Fabian and Wellner, Philipp and Weninger, Dieter and Witzig, Jakob},
     title = {Enabling Research Through the SCIP Optimization Suite 8.0}
   }