%0 Journal Article %A F. Yu. Vorob'ev %T A lower bound for the 4-satisfiability threshold %J Diskretnaya Matematika %D 2007 %P 101-108 %V 19 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/DM_2007_19_2_a11/ %G ru %F DM_2007_19_2_a11