@misc{indiciaec3f8c86ffc9a, title = {Formulas vs. Circuits for Small Distance Connectivity}, author = {Benjamin Rossman}, year = {2013}, url = {https://arxiv.org/abs/1312.0355}, note = {Source identifier: 1312.0355} }