%0 Journal Article
%A V. G. Bulavintsev
%A A. A. Semenov
%T GPU-based implementation of DPLL algorithm with limited non-chronological backtracking
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2013
%P 111-112
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2013_6_a49/
%G ru
%F PDMA_2013_6_a49