Gioni Mexi
My research interests include primal heuristics, generalization of conflict analysis techniques in mixed-integer programming, and the integration of different solver technologies.
📬 Contact
- office
- Room 3101 at ZIB
- mexi (at) zib.de
🎓 Curriculum vitae
- since 2021
- Researcher at ZIB
- Jul 2021
- M.Sc. at TUB
- Mar 2019
- B.Sc. in Mathematics at TUB
đź“ť 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]
- Mexi, G., Serrano, F., Berthold, T., Gleixner, A., and Nordström, J. (2024). Cut-based Conflict Analysis in Mixed Integer Programming.
[arXiv]
[BibTeX]
- Bolusani, S., Mexi, G., Besançon, M., and Turner, M. A Multi-Reference Relaxation Enforced Neighborhood Search Heuristic in SCIP.
[arXiv]
[BibTeX]
Conference proceedings
- Mexi, G., Shamsi, S., Besançon, M., and le Bodic, P. (2024). Probabilistic Lookahead Strong Branching Via a Stochastic Abstract Branching Model. Proceedings of International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research.
[arXiv]
[BibTeX]
- Ghannam, M., Mexi, G., Lam, E., and Gleixner, A. (2024). Branch and Price for the Length-constrained Cycle Partition Problem. Proceedings of INFORMS Optimization Society Conference.
[URL]
[arXiv]
[BibTeX]
- Mexi, G., Berthold, T., Gleixner, A., and Nordström, J. (2023). Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning. Proceedings of 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), 280, 27:1–27:19,
DOI: 10.4230/LIPIcs.CP.2023.27
[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 Conference of the Society for Operations Research in Germany.
[arXiv]
[BibTeX]
- Hoppmann-Baum, K., Mexi, G., Burdakov, O., Casselgren, C. J., and Koch, T. (2020). Minimum Cycle Partition with Length Requirements. Proceedings of International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 12296, 273–282.
DOI: 10.1007/978-3-030-58942-4_18
[BibTeX]
Full articles
- Berthold, T., Mexi, G., and Salvagnin, D. (2023). Using Multiple Reference Vectors and Objective Scaling in the Feasibility Pump. EURO Journal on Computational Optimization, 11.
DOI: 10.1016/j.ejco.2023.100066
[BibTeX]
- Hoppmann-Baum, K., Burdakov, O., Mexi, G., Casselgren, C. J., and Koch, T. (2022). Length-Constrained Cycle Partition with an Application to UAV Routing. Optimization Methods and Software.
DOI: 10.1080/10556788.2022.2053972
[BibTeX]
🔬 Projects
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.
đź’¬ Talks and posters
Conference and workshop talks
- Sep 2023
- Recent Advances in SCIP
SAP-ZIB-FAU Workshop, Walldorf - Aug 2023
- Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
29th CP Conference, Toronto [PDF] - Jul 2023
- Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
14th Pragmatics of SAT International Workshop, Alghero [PDF] - Jan 2023
- Recent Advances in SCIP
SAP-ZIB-FAU Workshop, Walldorf