TY - RPRT TI - A Formal Analysis of Capacity Scaling Algorithms for Minimum-Cost Flows AU - Mohammad Abdulaziz AU - Thomas Ammer PY - 2026 UR - https://arxiv.org/abs/2602.03701 ID - 2602.03701 ER -