Zaikin, O., Otpuschennikov, I. and 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), pp. 205–212. Available at: https://en.num-meth.ru/index.php/journal/article/view/453 (Accessed: 27 April 2024).