@article{VMP_2011_12_1_a24,
     author = {O. S. Zaikin and I. V. Otpushchennikov and A. A. Semenov},
     title = {Parallel algorithms for solving {SAT-problems} in application to
},
     journal = {Numerical methods and programming},
     pages = {205--212},
     publisher = {mathdoc},
     volume = {12},
     number = {1},
     year = {2011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMP_2011_12_1_a24/}
}