Zaikin, O., Otpuschennikov, I., & Semenov, A. (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–212. Retrieved from https://en.num-meth.ru/index.php/journal/article/view/453