A counterexample to Seymour's self-minor conjecture.

Bogdan Oporowski

Published in: J. Graph Theory (1990)

Keyphrases

model checking
formal verification
active learning
data points
multi class
information theoretic
combinatorial optimization