A Proof of a Conjecture of Ohba

Jonathan A. Noel Bruce A. Reed Hehui Wu

Published in: CoRR (2012)

Keyphrases

theorem proving
databases
data mining
multiresolution
theorem prover
machine learning
computer vision
information systems
multimedia
cooperative
lower bound
linear logic