A quantifier for matroid duality.

Published in: Discret. Math. (1981)

Keyphrases

greedy algorithm
linear programming
quantifier elimination
combinatorial optimization
submodular functions
real time
databases
artificial intelligence
pattern recognition
computational complexity
pairwise