Any AND-OR Formula of Size N can be Evaluated in time N<sup>1/2+o(1)</sup> on a Quantum Computer.

Andris Ambainis Andrew M. Childs Ben Reichardt Robert Spalek Shengyu Zhang Any AND-OR Formula of Size N can be Evaluated in time N<sup>1/2+o(1)</sup> on a Quantum Computer. 363-372 2007 FOCS http://doi.ieeecomputersociety.org/10.1109/FOCS.2007.10 conf/focs/2007 db/conf/focs/focs2007.html#AmbainisCRSZ07