A Mechanized Proof of the Max-Flow Min-Cut Theorem for Countable Networks with Applications to Probability Theory.

Andreas Lochbihler

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

Keyphrases

probability theory
max flow min cut
belief functions
possibility theory
energy minimization
conditional independence
problems in computer vision
decision theory
complex networks
inference rules
data mining
neural network
markov chain
fuzzy sets
network structure
social network analysis
markov random field