research
∙
06/10/2022
Quantum space, ground space traversal, and how to embed multi-prover interactive proofs into unentanglement
Savitch's theorem states that NPSPACE computations can be simulated in P...
research
∙
11/03/2021