Non-Deterministic Exponential Time Has Two-Prover Interactive Protocols

László Babai Lance Fortnow Carsten Lund

Published in: FOCS (1990)

Keyphrases

theorem proving
user friendly
real time
highly interactive
data mining
artificial intelligence
knowledge base
black box
graphical interface
automated theorem proving