@article{Abdulaziz26,
TITLE = {A Formal Correctness Proof of Edmonds' Blossom Shrinking Algorithm},
AUTHOR = {Abdulaziz, Mohammad and Mehlhorn, Kurt},
LANGUAGE = {eng},
ISSN = {0168-7433},
DOI = {10.1007/s10817-026-09747-y},
PUBLISHER = {D. Reidel Pub. Co.},
ADDRESS = {Dordrecht, Holland},
YEAR = {2026},
DATE = {2026},
JOURNAL = {Journal of Automated Reasoning},
VOLUME = {70},
NUMBER = {2},
EID = {s10817-026-09747-y},
}