A Proof of a Conjecture of Knuth.

Published in: Exp. Math. (1996)

Keyphrases

theorem proving
real time
neural network
wireless sensor networks
linear logic
proof planning
data sets
machine learning
high level
evolutionary algorithm
special case
management system
proof theory
geometry theorem proving