TY - RPRT TI - Upper bounds for the formula size of the majority function AU - Igor S. Sergeev PY - 2012 UR - https://arxiv.org/abs/1208.3874 ID - 1208.3874 ER -