Zaikin, O., I. Otpuschennikov, and 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), vol. 12, no. 27, Apr. 2011, pp. 205-12, https://en.num-meth.ru/index.php/journal/article/view/453.