Short proofs on multicommodity flows and cuts.

Alexander Schrijver

Published in: J. Comb. Theory, Ser. B (1991)

Keyphrases

formal proofs
machine learning
theorem proving
network design
databases
real world
genetic algorithm
social networks
evolutionary algorithm
network flow
decision procedures