A short proof of a min-max relation for the bases packing of a matroid.

Brahim Chaourar

Published in: Discret. Math. Algorithms Appl. (2019)

Keyphrases

min max
multiobjective optimization
max min
greedy algorithm
theorem proving
packing problem
real time
neural network
linear logic
databases
data mining
case study
optimization problems
first order logic
inference rules