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