Formalizing Push-Relabel Algorithms

Peter Lammich, S. Reza Sefidgar. Formalizing Push-Relabel Algorithms. JIKM, 2017(2), 2017. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: