A Mechanized Proof of the Max-Flow Min-Cut Theorem for Countable Networks with Applications to Probability Theory
2012 ◽
Vol E95.A
(12)
◽
pp. 2208-2219
◽
Keyword(s):
2018 ◽
Keyword(s):