Login / Signup
A Simple Proof of PreciseQMA = PSPACE.
Yulong Li
Published in:
CoRR (2022)
Keyphrases
</>
decision procedures
databases
neural network
highly reliable
query evaluation
provably correct
real time
theorem prover
data model
multiresolution
information technology
data structure
reinforcement learning
case study
decision making
information systems
information retrieval