Информатика, вычислительная техника и управление. Диссертация Параллельная технология решения SAT-задач и ее реализация в виде пакета прикладных программ : диссертация ... кандидата технических наук : 05.13.01, Иркутск, 2008