Span-program-based quantum algorithm for evaluating formulas

   Abstract