@phdthesis{Eifler2024, author = {Leon Eifler}, title = {Algorithms and Certificates for Exact Mixed Integer Programming}, doi = {https://doi.org/10.14279/depositonce-23941}, year = {2024}, language = {en} }