Zaikin, O.; Otpuschennikov, I.; Semenov, A. Parallel Algorithms for Solving SAT-Problems in Application to Optimization Problems With Boolean Constraints. Num. Meth. Prog. 2011, 12, 205-212.