ZAIKIN, O.; OTPUSCHENNIKOV, I.; SEMENOV, A. Parallel algorithms for solving SAT-problems in application to optimization problems with Boolean constraints. Numerical Methods and Programming (Vychislitel’nye Metody i Programmirovanie), [S. l.], v. 12, n. 27, p. 205–212, 2011. Disponível em: https://en.num-meth.ru/index.php/journal/article/view/453. Acesso em: 27 apr. 2024.