Regular Partitions of Hypergraphs: Regularity Lemmas.

Vojtech Rödl Mathias Schacht

Published in: Comb. Probab. Comput. (2007)

Keyphrases

clustering algorithm
theorem proving
theorem prover
neural network
data mining
machine learning
real time
data sets
image processing
graph theory
space partitioning