Zaikin, O., Otpuschennikov, I. and Semenov, A. 2011. Parallel algorithms for solving SAT-problems in application to optimization problems with Boolean constraints. Numerical Methods and Programming (Vychislitel’nye Metody i Programmirovanie). 12, 27 (Apr. 2011), 205–212.