Efficient Interactive Proofs for Non-Deterministic Bounded Space.

Joshua Cook Ron D. Rothblum

Published in: Electron. Colloquium Comput. Complex. (2023)

Keyphrases

real world
low dimensional
space requirements
search space
real time
data sets
information retrieval
artificial intelligence
computer vision
multiscale
video sequences
user interaction
space time
computationally expensive
theorem proving
linear space