%0 Journal Article %A A. N. Rybalov %T On generic complexity of the validity problem for Boolean formulas %J Prikladnaâ diskretnaâ matematika %D 2016 %P 119-126 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/PDM_2016_2_a8/ %G ru %F PDM_2016_2_a8