%0 Journal Article %A A. N. Rybalov %T On generic NP-completeness of the Boolean satisfiability problem %J Prikladnaâ diskretnaâ matematika %D 2017 %P 106-112 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/PDM_2017_2_a7/ %G ru %F PDM_2017_2_a7