Kane, Williams, 2017. The Orthogonal Vectors Conjecture for Branching Programs and Formulas.