Заикин О.С. Параллельная технология решения SAT-задач и ее реализации в виде пакета прикладных программ : автореф. дис. .. канд. техн. наук: 05.13.01 / О. С. Заикин, 2009. - 19 с. с. - Текст : непосредственный.