@article{IIGUM_2012_5_4_a7,
     author = {A. A. Semenov and O. S. Zaikin},
     title = {Algorithms for constructing decomposition sets in application to coarse-grained parallelization of {SAT} problems},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {79--94},
     year = {2012},
     volume = {5},
     number = {4},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2012_5_4_a7/}
}