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]
- Bolusani, S., Mexi, G., Besançon, M., and Turner, M. (2024). A Multi-Reference Relaxation Enforced Neighborhood Search Heuristic in SCIP.
[arXiv]
[BibTeX]
- Mexi, G., Serrano, F., Berthold, T., Gleixner, A., and Nordström, J. (2024). Cut-based Conflict Analysis in Mixed Integer Programming.
[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 the 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 the 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 the 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), 280, 27:1–27:19,
DOI: 10.4230/LIPIcs.CP.2023.27
[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]
- Hoppmann-Baum, K., Mexi, G., Burdakov, O., Casselgren, C. J., and Koch, T. (2020). Minimum Cycle Partition with Length Requirements. Proceedings of the 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
- Jul 2024
- Generalized Resolution Conflict Analysis in MIP Solvers
25th International Symposium on Mathematical Programming (ISMP), Montréal - May 2024
- Probabilistic Lookahead Strong Branching Via a Stochastic Abstract Branching Model
21st CPAIOR Conference, Uppsala - Apr 2024
- Updates in SCIP 9
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 [PDF] - Jan 2023
- Recent Advances in SCIP
SAP-ZIB-FAU Workshop, Walldorf - Jul 2022
- Feasibility Pump Using Multiple Reference Vectors And New Scaling
32nd European Conference on Operational Research (EURO), Espoo
Research seminar talks
- Feb 2025
- TBD
IOL Research Seminar (IOL), Berlin
đź“… Event Attendance
- Jul 2024
- 25th International Symposium on Mathematical Programming (ISMP), Montréal
- May 2024
- 21st CPAIOR Conference, Uppsala
- Aug 2023
- 29th CP Conference, Toronto
- Jul 2022
- 32nd European Conference on Operational Research (EURO), Espoo