Unqomp: synthesizing uncomputation in Quantum circuits.

Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin T. Vechev

Browse the full PLDI paper archive.