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

László Babai Lance Fortnow Carsten Lund

Published in: Comput. Complex. (1991)

Keyphrases

virtual reality
user friendly
theorem proving
neural network
theorem prover
highly interactive
communication protocols
data sets
artificial intelligence
image processing
case study
virtual environment
computer graphics
black box
interactive systems