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