How Many Conjectures Can You Stand? A Survey.

Haitze J. Broersma Zdenek Ryjácek Petr Vrána

Published in: Graphs Comb. (2012)

Keyphrases

theorem prover
multi class
data mining
np hard
nearest neighbor
distributed systems