%0 Journal Article %A D. Yu. Cherukhin %T Lower bounds for the formula complexity of symmetric Boolean functions %J Diskretnyj analiz i issledovanie operacij %D 2000 %P 86-98 %V 7 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/DA_2000_7_3_a5/ %G ru %F DA_2000_7_3_a5