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]
[arXiv]
[code]
[BibTeX]
Conference proceedings
- Chmiela, A., Gleixner, A., Lichocki, P., and Pokutta, S. (2023). Online Learning for Scheduling MIP Heuristics. Proceedings of the International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 114–123.
DOI: 10.1007/978-3-031-33271-5_8
[arXiv]
[BibTeX]
- Chmiela, A., Muñoz, G., and Serrano, F. (2023). Monoidal Strengthening and Unique Lifting in MIQCPs. Proceedings of the 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 the 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 the 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 the 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 the Conference on Integer Programming and Combinatorial Optimization, 134–147.
DOI: 10.1007/978-3-030-73879-2_10
[BibTeX]
Full articles
- Chmiela, A., Muñoz, G., and Serrano, F. (2024). Monoidal Strengthening and Unique Lifting in MIQCPs. Mathematical Programming B.
DOI: 10.1007/s10107-024-02112-0
[URL]
[BibTeX]
- 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
- Jul 2024
- Polyhedrality Made Easy. Using General Cut Operators to Determine When Cut Closures Are Polyhedral
25th International Symposium on Mathematical Programming (ISMP), Montréal - Jan 2024
- Monoidal Strengthening and Unique Lifting in MIQCPs
Combinatorial Optimization Workshop (Aussois), Aussois - Jun 2023
- Monoidal Strengthening and Unique Lifting in MIQCPs
24th IPCO Conference, Madison - May 2023
- Online Learning for Scheduling MIP Heuristics
ZIB-Siemens Workshop, Munich - May 2023
- Online Learning for Scheduling MIP Heuristics
20th CPAIOR Conference - Jan 2023
- Online Learning for Scheduling MIP Heuristics
SAP-ZIB Workshop, Walldorf - Jan 2023
- Combinatorial Optimization Workshop (Aussois), Aussois
- Nov 2022
- Monoidal Strengthening for Intersection Cuts Using Maximal Quadratic-Free Sets
Let's SCIP it! (SCIP), Berlin - Oct 2021
- INFORMS Annual Meeting (INFORMS), Anaheim
- Jul 2021
- Learning to Schedule Heuristics in Branch and Bound
31st European Conference on Operational Research (EURO), Athens - May 2021
- On the Implementation and Strengthening of Intersection Cuts for QCQPs
22nd IPCO Conference, online
Research seminar talks
- Jan 2025
- TBD
IOL Research Seminar (IOL), Berlin
Poster presentations
- Feb 2023
- Learning to Schedule MIP Heuristics
IPAM Workshop on Deep Learning and Combinatorial Optimization - May 2022
- Monoidal Strengthening for Intersection Cuts Using Maximal Quadratic-Free Sets
19th Mixed Integer Programming European Workshop (MIP) - Dec 2021
- Learning to Schedule Heuristics in Branch-and-Bound
conference on neural information processing systems (NeurIPS) - May 2021
- Learning to Schedule Heuristics in Branch-and-Bound
18th Mixed Integer Programming European Workshop (MIP)
đź“… Event Attendance
- Jul 2024
- 25th International Symposium on Mathematical Programming (ISMP), Montréal
- Sep 2023
- 5th Computational Optimization at Work (CO@Work), Berlin
- Combinatorial Optimization Workshop (Aussois), Aussois
- Jun 2023
- 24th IPCO Conference, Madison
- Jan 2023
- 20th CPAIOR Conference
- May 2023
- ZIB-Siemens Workshop, Munich
- Jan 2023
- SAP-ZIB Workshop, Walldorf
- Feb 2021
- IPAM Workshop on Deep Learning and Combinatorial Optimization
- Nov 2022
- Let's SCIP it! (SCIP), Berlin
- 19th Mixed Integer Programming European Workshop (MIP)
- Oct 2021
- INFORMS Annual Meeting (INFORMS), Anaheim
- Jul 2021
- 31st European Conference on Operational Research (EURO), Athens
- May 2021
- 22nd IPCO Conference, online
- conference on neural information processing systems (NeurIPS)
- May 2021
- 18th Mixed Integer Programming European Workshop (MIP)
👩‍🏫 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