%0 Journal Article
%A V. V. Bykova
%T Asymptotic solution of the recurrence relations in the analysis of splitting algorithms for SAT
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2013
%P 112-116
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2013_6_a50/
%G ru
%F PDMA_2013_6_a50