Quantum PL & Verification Bibliography
About
Papers
People
Venues
Tags
Posts
Variants
BibLaTeX
BibTeX
bibtex2html
BibBase
Mailing List
Light
Dark
Automatic
quantum oracle
Verified Compilation of Quantum Oracles
Quantum algorithms often apply classical operations, such as arithmetic or predicate checks, over a quantum superposition of classical data; these so-called oracles are often the largest components of a quantum program. To ease the construction of …
Cite
×