Proof of a Conjecture of Mader, Erdös and Hajnal on Topological Complete Subgraphs.

Béla Bollobás Andrew Thomason

Published in: Eur. J. Comb. (1998)

Keyphrases

databases
machine learning
data structure
provably correct
artificial intelligence
binary images
connected components
theorem proving
geometric objects