TY  - RPRT
TI  - Reqomp: Space-constrained Uncomputation for Quantum Circuits
AU  - Anouk Paradis
AU  - Benjamin Bichsel
AU  - Martin Vechev
PY  - 2024
DO  - 10.22331/q-2024-02-19-1258
UR  - https://arxiv.org/abs/2212.10395
ID  - 2212.10395
ER  -