A Generalization and Proof of the Aanderaa-Rosenberg Conjecture

Ronald L. Rivest Jean Vuillemin

Published in: STOC (1975)

Keyphrases

neural network
theorem proving
learning machines
databases
information retrieval
artificial neural networks
real world
expert systems
efficient computation
linear logic
proof planning