Squaring a tournament: A proof of Dean's conjecture.

David C. Fisher

Published in: J. Graph Theory (1996)

Keyphrases

data sets
theorem proving
linear logic
artificial intelligence
expert systems
theorem prover
automated theorem proving
mathematical proofs
machine learning
decision trees
hidden markov models
mobile robot
formal proof