Regular Partitions of Hypergraphs: Counting Lemmas.

Vojtech Rödl Mathias Schacht

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

Keyphrases

graph theory
theorem proving
real time
real world
decision making
neural network
artificial intelligence
multi agent
learning environment
theorem prover