%0 Journal Article
%A A. A. Semenov
%A O. S. Zaikin
%T Algorithms for constructing decomposition sets in application to coarse-grained parallelization of SAT problems
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2012
%P 79-94
%V 5
%N 4
%U http://geodesic.mathdoc.fr/item/IIGUM_2012_5_4_a7/
%G ru
%F IIGUM_2012_5_4_a7