Заикин, О., Отпущенников, И. и Семенов, А. (2011) «Параллельные алгоритмы решения проблемы выполнимости в применении к оптимизационным задачам с булевыми ограничениями», Вычислительные методы и программирование, 12(27), сс. 205–212. доступно на: https://num-meth.ru/index.php/journal/article/view/453 (просмотрено: 29 апрель 2024).