@article{PDM_2017_2_a7, author = {A. N. Rybalov}, title = {On generic {NP-completeness} of the {Boolean} satisfiability problem}, journal = {Prikladna\^a diskretna\^a matematika}, pages = {106--112}, year = {2017}, number = {2}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/PDM_2017_2_a7/} }