Antonia Chmiela
My research interests revolve around discrete optimization, machine learning and the intersection thereof. Specifically, I am interested in developing methods to solve mixed-integer (non-linear) programms more efficiently. To do so, I focus on the theoretical development of new cutting planes paradigmns and the practical application of offline and online techniques to improve the application of primal heuristics within a MIP solver.
📬 Contact
- office
- Room 3102 at ZIB
- chmiela (at) zib.de
🎓 Curriculum vitae
- since 2020
- Researcher at ZIB
- 2020
- M.Sc. in Mathematics at TUB
- 2018
- 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]
- Turner, M., Chmiela, A., Koch, T., and Winkler, M. (2023). PySCIPOpt-ML: Embedding Trained Machine Learning Models Into Mixed-integer Programs.
[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]
[code]
[BibTeX]
Conference proceedings
- Chmiela, A., Gleixner, A., Lichocki, P., and Pokutta, S. (2023). Online Learning for Scheduling MIP Heuristics. Proceedings of International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 114–123.
DOI: 10.1007/978-3-031-33271-5_8
[BibTeX]
- Chmiela, A., Muñoz, G., and Serrano, F. (2023). Monoidal Strengthening and Unique Lifting in MIQCPs. Proceedings of Conference on Integer Programming and Combinatorial Optimization.
[URL]
[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]
- Gasse, M., Bowly, S., Cappart, Q., Charfreitag, J., Charlin, L., Chételat, D., Chmiela, A., Dumouchelle, J., Gleixner, A., Kazachkov, A. M., Khalil, E., Lichocki, P., Lodi, A., Lubin, M., Maddison, C. J., Christopher, M., Papageorgiou, D. J., Parjadis, A., Pokutta, S., … Kun, M. (2022). The Machine Learning for Combinatorial Optimization Competition (ML4CO): Results and Insights. Proceedings of Conference on Neural Information Processing Systems, 176, 220–231.
[URL]
[arXiv]
[BibTeX]
- Chmiela, A., Khalil, E. B., Gleixner, A., Lodi, A., and Pokutta, S. (2021). Learning to Schedule Heuristics in Branch-and-bound. Proceedings of Conference on Neural Information Processing Systems, 34, 24235–24246.
[URL]
[arXiv]
[poster]
[BibTeX]
- Chmiela, A., Muñoz, G., and Serrano, F. (2021). On the Implementation and Strengthening of Intersection Cuts for QCQPs. Proceedings of Integer Programming and Combinatorial Optimization: 22nd International Conference, IPCO 2021, 134–147.
DOI: 10.1007/978-3-030-73879-2_10
[BibTeX]
Full articles
- Bestuzheva, K., Chmiela, A., MĂĽller, B., Serrano, F., Vigerske, S., and Wegscheider, F. (2023). Global Optimization of Mixed-integer Nonlinear Programs with SCIP 8.0. Journal of Global Optimization.
DOI: 10.1007/s10898-023-01345-1
[URL]
[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]
- Chmiela, A., Muñoz, G., and Serrano, F. (2022). On the Implementation and Strengthening of Intersection Cuts for QCQPs. Mathematical Programming B, 197, 549–586.
DOI: 10.1007/s10107-022-01808-5
[BibTeX]
🔬 Projects
Heuristics play a crucial role in exact solvers for Mixed Integer Programming (MIP). However, the question of how to manage multiple MIP heuristics in a solver has not received sufficient attention. This project addresses the strategic management of primal heuristics in MIP solvers, aiming to replace static, hard-coded rules with dynamic, self-improving procedures.
The performance of modern mixed-integer program solvers is highly dependent on a number of interdependent individual components. Using tools from machine learning, we intend to develop an integrated framework that is able to capture interactions of individual decisions made in these components with the ultimate goal to improve performance.
đź’¬ Talks and posters
Conference and workshop talks
- Jun 2023
- 24th IPCO Conference, Madison
- May 2023
- Online Learning for Scheduling MIP Heuristics
ZIB-Siemens Workshop, Munich - May 2023
- 20th CPAIOR Conference, Nice
- Jan 2023
- Online Learning for Scheduling MIP Heuristics
SAP-ZIB Workshop, Walldorf - Jan 2023
- Combinatorial Optimization Workshop, Aussois
View More / Less
- Nov 2022
- SCIP Workshop, Berlin
- Oct 2021
- INFORMS Conference, Anaheim
- Jul 2021
- 31st EURO Conference, Athens
- May 2021
- 22nd IPCO Conference
Poster presentations
- Feb 2023
- Learning to Schedule MIP Heuristics
IPAM Workshop on Artificial Intelligence and Discrete Optimization, Los Angeles - May 2022
- Monoidal Strengthening for Intersection Cuts Using Maximal Quadratic-Free Sets
MIP Workshop - Dec 2021
- Learning to Schedule Heuristics in Branch-and-Bound
NeurIPS Conference - May 2021
- Learning to Schedule Heuristics in Branch-and-Bound
MIP Workshop
👩‍🏫Teaching
- summer 2023
- Seminar Supervisor for Cutting Planes for Mixed-Integer Programming at TUB
- winter 2017
- Tutor for Mathematics for Chemists I at TUB
- summer 2017
- Tutor for Mathematics for Chemists II at TUB
- winter 2016
- Tutor for Mathematics for Chemists I at TUB