TY - RPRT TI - Regular expression length via arithmetic formula complexity AU - Ehud Cseresnyes AU - Hannes Seiwert PY - 2020 UR - https://arxiv.org/abs/2012.15617 ID - 2012.15617 ER -