Counterexample to a conjecture on Hamilton cycles.

Published in: Discret. Math. (1987)

Keyphrases

model checking
formal verification
three dimensional
data mining
active learning
dynamic programming
supervised learning
prediction accuracy
orders of magnitude