Zilverling

dr. M. Walter (Matthias)

Universitair docent
EEMCS-AM-MOR
Zilverling 4005
m.walter@utwente.nl
+31534898744
Visitekaartje

Ik promoveerde aan de Otto-von-Guericke Universiteit van Maagdenburg. Ik werk aan oplossende technieken voor mixed-integer programma's (MIP's) aan de praktische kant (vertakkingen en sneden, vertakkingen en prijzen) en polyhedral combinatorics aan de theoretische kant.

Expertises

  • Mathematics

    • Polytope
    • Integer
    • Linear Programming
    • Integer Programming
    • Matrix (Mathematics)
    • Stable Set
    • Polynomial Optimization

  • Computer Science

    • Mixed Integer Programming

Organisaties

Publicaties

2026

A hybrid solution approach for the Integrated Healthcare Timetabling Competition 2024 (2026)Operations Research, Data Analytics and Logistics, 46. Article 200502. Guericke, D., van der Hulst, R., Karimpour, A., Schrader, I. & Walter, M.https://doi.org/10.1016/j.ordal.2026.200502Network submatrices in mixed-integer optimization (2026)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. van der Hulst, R.https://doi.org/10.3990/1.9789036571531

2025

Geometry of the Reformulation-Linearization-Technique: Domination of Disjunctions (2025)[Working paper › Preprint]. ArXiv.org. Hof, H. A. & Walter, M.https://doi.org/10.48550/arXiv.2511.13805A hybrid solution approach for the Integrated Healthcare Timetabling Competition 2024 (2025)[Working paper › Preprint]. ArXiv.org. Guericke, D., van der Hulst, R., Karimpour, A., Schrader, I. & Walter, M.https://doi.org/10.48550/arXiv.2511.04685A Row-wise Algorithm for Graph Realization (2025)[Working paper › Preprint]. ArXiv.org. van der Hulst, R. & Walter, M.https://doi.org/10.48550/arXiv.2408.12869Implied Integrality in Mixed-Integer Optimization (2025)In Integer Programming and Combinatorial Optimization: 26th International Conference, IPCO 2025, Proceedings (pp. 452-465) (Lecture Notes in Computer Science; Vol. 15620). Springer. van der Hulst, R. & Walter, M.https://doi.org/10.1007/978-3-031-93112-3_33Improved linear programming relaxations for flow shop problems with makespan minimization (2025)Computers & operations research, 177. Article 106970. Wallrath, R., Franke, M. & Walter, M.https://doi.org/10.1016/j.cor.2024.106970scipopt/papilo: v2.4.2 (2025)[Dataset Types › Dataset]. Zenodo. Hoen, A., Gottwald, L., Schlösser, F., Vigerske, S., Manns, J., Palacios, G. K., Walter, M., Gleixner, A., Besançon, M., James, J., Jabs, C., Mexi, G., Prouvost, A., Ghannam, M. & Bolusani, S.https://doi.org/10.5281/zenodo.6414881scipopt/soplex: v7.1.4 (2025)[Dataset Types › Dataset]. Zenodo. Miltenberger, M., Gleixner, A., Eifler, L., Koch, T., Hoen, A., Vigerske, S., Schlösser, F., Nicolas-Thouvenin, J., Rehfeldt, D., Hendel, G., Besançon, M., Manns, J., Steffy, D., Mexi, G., Pfetsch, M., James, J., Gottwald, L., Walter, M. & Ebrahim, A.https://doi.org/10.5281/zenodo.6414885Implied Integrality in Mixed-Integer Optimization (2025)[Working paper › Preprint]. ArXiv.org. van der Hulst, R. & Walter, M.https://doi.org/10.48550/arXiv.2504.07209

Onderzoeksprofielen

Verbonden aan opleidingen

Vakken collegejaar 2026/2027

Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.

Vakken collegejaar 2025/2026

Vakken collegejaar 2024/2025

Lopende projecten

Combinatorial Matrix Recognition

Software Library

A set of tools for recognizing certain combinatorial matrices, such as totally unimodular, balanced, network or series-parallel matrices.

Investigating Polyhedra by Oracles

Software Library

Investigating Polyhedra by Oracles (IPO) is a C++ library that enables the analysis of polyhedra that are given implicitly by means of an optimization oracle. The main application is the search for inequalities that are facet-defining for the mixed-integer hull of some mixed-integer optimization problem.

Slimmere en snellere mixed-integer optimalisatie via netwerkmatrices

Mixed-integer optimalisatie is een techniek om ingewikkelde optimalisatieproblemen op te lossen die zich voordoen bij productieplanning, logistiek of routeplanning. Dit onderzoek zal de solver- software verbeteren om de software sneller te maken. Om dit te bereiken, zullen algoritmes om bekende patronen in een gegeven formulering te vinden worden ontwikkend en getest.

Adres

Universiteit Twente

Zilverling (gebouwnr. 11), kamer 4005
Hallenweg 19
7522 NH Enschede

Navigeer naar locatie

Organisaties

QR codeScan de QR-code of
Download vCard