Publications and materials

2012
• О.С. Заикин, М.А. Посыпкин, А.А. Семёнов, Н.П. Храпов. Организация добровольных вычислений на платформе BOINC на примере проектов OPTIMA@home и SAT@home // CAD/CAM/CAE Observer. Выпуск # 3(71)/2012
• Posypkin, Mikhail and Semenov, Alexander and Zaikin, Oleg (2012) Using BOINC desktop grid to solve large scale SAT problems. Computer Science, 13 (1). pp. 25-34. ISSN 1508-2806.
• Заикин О.С. Посыпкин М.А. Семенов А.А. Храпов Н.П. Опыт организации добровольных вычислений на примере проектов OPTIMA@home и SAT@home // Труды муждународной конференции ПАВТ 2012. С. 157-166.
  
  2011
• А.А. Семенов. Криптоанализ с применением rainbow-таблиц. Доклад в Институте математики им. С.Л. Соболева СО РАН 14.12.2011.
• О.С. Заикин. Решение задач обращения некоторых дискретных функций в проекте добровольных вычислений SAT@home // Современные информационные технологии и ИТ-образование. Сборник избранных докладов научно-практической конференции: учебно-методическое пособие. - М.: ИНТУИТ.РУ, 2011. C. 960-965
• Mikhail Posypkin, Alexander Semenov, Oleg Zaikin. Using BOINC Desktop Grid to Solve Large Scale SAT Problems. Poster at Cracow Grid Workshop 2011.