Zaikin, O.S., I.V. Otpuschennikov, and A.A. Semenov. 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):205-12. https://en.num-meth.ru/index.php/journal/article/view/453.