TY - RPRT TI - Formulas vs. Circuits for Small Distance Connectivity AU - Benjamin Rossman PY - 2013 UR - https://arxiv.org/abs/1312.0355 ID - 1312.0355 ER -