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