%0 Journal Article %A V. F. Kolchin %T Satisfiability probability for systems of random equations %J Trudy po diskretnoj matematike %D 2000 %P 139-146 %V 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/TDM_2000_3_a8/ %G ru %F TDM_2000_3_a8