Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/HOL.

Peter Lammich S. Reza Sefidgar

Published in: J. Autom. Reason. (2019)

Keyphrases

network flow
min cost
theorem prover
learning algorithm
set cover
search algorithm
computational complexity
integer programming
minimum cost
genetic algorithm
np complete
combinatorial optimization
natural deduction