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