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