Login / Signup
Polylogarithmic-round Interactive Proofs for coNP Collapses the Exponential Hierarchy
Alan L. Selman
Samik Sengupta
Published in:
Electron. Colloquium Comput. Complex. (2004)
Keyphrases
</>
decision problems
virtual reality
real time
user friendly
theorem prover
decision procedures
databases
data mining
knowledge base
higher level
computer graphics
resource allocation
conjunctive queries
graphical interface
highly interactive
interactive video