ЗАИКИН, О.; ОТПУЩЕННИКОВ, И.; СЕМЕНОВ, А. Параллельные алгоритмы решения проблемы выполнимости в применении к оптимизационным задачам с булевыми ограничениями. Вычислительные методы и программирование, [S. l.], v. 12, n. 27, p. 205–212, 2011. Disponível em: https://num-meth.ru/index.php/journal/article/view/453. Acesso em: 29 апр. 2024.