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