%0 Journal Article
%A M. A. Vsemirnov
%A E. A. Hirsch
%A E. Ya. Dantsin
%A S. V. Ivanov
%T Algorithms for SAT and upper bounds on their complexity
%J Zapiski Nauchnykh Seminarov POMI
%D 2001
%P 14-46
%V 277
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_2001_277_a1/
%G ru
%F ZNSL_2001_277_a1