%0 Journal Article
%A S. I. Nikolenko
%T Hard satisfiable formulas for DPLL-type algorithms
%J Zapiski Nauchnykh Seminarov POMI
%D 2002
%P 139-148
%V 293
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_2002_293_a7/
%G ru
%F ZNSL_2002_293_a7