ScaffCC: Scalable Compilation and Analysis of Quantum Programs
Any AND-OR Formula of Size N can be Evaluated in time N^{1/2 + o(1)} on a Quantum Computer