O. Zaikin, I. Otpuschennikov, and A. Semenov, “Parallel algorithms for solving SAT-problems in application to optimization problems with Boolean constraints”, Num. Meth. Prog., vol. 12, no. 27, pp. 205–212, Apr. 2011.