%0 Journal Article
%A A. A. Semenov
%A A. S. Ignatiev
%T About convergence of a~hybrid SAT+ROBDD-derivation
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2012
%P 118-120
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2012_5_a63/
%G ru
%F PDMA_2012_5_a63