Modular Synthesis of Efficient Quantum Uncomputation. - Hristo Venev; Timon Gehr; Dimitar Dimitrov 004; Martin T. Vechev (Proc. ACM Program. Lang., 2024)

Artifact for "Modular Synthesis of Efficient Quantum Uncomputation". - Hristo Venev; Timon Gehr; Dimitar Dimitrov 004; Martin T. Vechev (Zenodo, 2024)

Artifact for "Modular Synthesis of Efficient Quantum Uncomputation". - Hristo Venev; Timon Gehr; Dimitar Dimitrov 004; Martin T. Vechev (Zenodo, 2024)