Does co-NP Have Short Interactive Proofs?

Ravi B. Boppana Johan Håstad Stathis Zachos

Published in: Inf. Process. Lett. (1987)

Keyphrases

highly interactive
user interaction
computational complexity
theorem proving
np complete
social networks
website
computer graphics
theorem prover
formal proofs
data sets
product configuration
interactive systems
user friendly
np hard
data structure
three dimensional
e learning
data mining