A short proof of Edmonds' matching polyhedron theorem and the total dual integrality of the associated system of linear inequalities, proved first by W. H. Cunningham and A. B. Marsh (Math. Programming Stud. 8 (1978), 50–72), is given.
['Alexander Schrijver']
Short proofs on the matching polyhedron