Zaikin, O.S., I.V. Otpuschennikov, and A.A. Semenov. “Parallel Algorithms for Solving SAT-Problems in Application to Optimization Problems With Boolean Constraints”. Numerical Methods and Programming (Vychislitel’nye Metody i Programmirovanie) 12, no. 27 (April 11, 2011): 205–212. Accessed April 27, 2024. https://en.num-meth.ru/index.php/journal/article/view/453.