Max-Flow Min-Cut Theorems for Communication Networks Based on Equational Logic
Maximilien GadouleauSøren RiisPublished in: CoRR (2010)
Keyphrases
- communication networks
- max flow min cut
- energy minimization
- problems in computer vision
- distributed databases
- computer networks
- network structure
- computer vision
- min cut
- theorem proving
- modal logic
- smart card
- combinatorial optimization
- information theoretic
- simulated annealing
- pairwise
- image segmentation
- databases
- pose estimation
- intrusion detection
- multiscale