Login / Signup
Polylogarithmic-round interactive proofs for coNP collapse the exponential hierarchy.
Aduri Pavan
Alan L. Selman
Samik Sengupta
N. V. Vinodchandran
Published in:
Theor. Comput. Sci. (2007)
Keyphrases
</>
interactive video
user interaction
decision problems
lower level
user friendly
hierarchical structure
virtual reality
class hierarchy
graphical interface
theorem prover
utility function
real time
computer graphics
higher level
database systems
website
search engine
genetic algorithm
databases