ScaffCC: Scalable Compilation and Analysis of Quantum Programs
Algorithms for quantum computation: discrete logarithms and factoring