Заикин, О.; Отпущенников, И.; Семенов, А. Параллельные алгоритмы решения проблемы выполнимости в применении к оптимизационным задачам с булевыми ограничениями. Num. Meth. Prog. 2011, 12, 205-212.