A Proof of a Conjecture of Ohba.

Jonathan A. Noel Bruce A. Reed Hehui Wu

Published in: J. Graph Theory (2015)

Keyphrases

information systems
theorem prover
linear logic
social networks
knowledge base
natural deduction
proof planning
formal proof
geometry theorem proving
data mining
multimedia
control system