Zaikin O, Otpuschennikov I, Semenov A. Parallel algorithms for solving SAT-problems in application to optimization problems with Boolean constraints. Num. Meth. Prog. [Internet]. 2011 Apr. 11 [cited 2024 Apr. 27];12(27):205-12. Available from: https://en.num-meth.ru/index.php/journal/article/view/453