A proof of Sumner's universal tournament conjecture for large tournaments.

Deryk Osthus Daniela Kühn Richard Mycroft

Published in: Electron. Notes Discret. Math. (2011)

Keyphrases

theorem proving
artificial intelligence
theorem prover
databases
case study
automated theorem proving
proof planning
mathematical proofs
feature selection
cooperative
hidden markov models
linear logic
complete axiomatization
geometry theorem proving