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