Addendum to Non-Deterministic Exponential Time has Two-Prover Interactive Protocols.

László Babai Lance Fortnow Carsten Lund

Published in: Comput. Complex. (1992)

Keyphrases

theorem proving
genetic algorithm
database
artificial intelligence
image processing
computer graphics
machine learning
learning algorithm
user interaction
virtual reality
user friendly
theorem prover
efficient computation
linear complexity