Слабодкин Михаил Григорьевич

Email: 
slabodkinm [at] gmail.com
Научные интересы: 
выполнимость булевых формул, резолюционные доказательства, системы доказательств.

Биография:

  • 2013 год – окончил математико-механический факультет Санкт-Петербургского государственного университета, кафедру высшей алгебры и теории чисел. Тема дипломной работы: "Сложность поиска локального противоречия деревьями решений".
  • 2014 год – закончил Computer Science Center по направлению Theoretical computer science.
  • 2015 год – выпускник магистратуры Санкт-Петербургского Академического университета по направлению "Теоретическая информатика". Тема магистерской работы: "Нижние оценки на размер OBDD для линейных систем над полем F2".

Публикации:
Dmitry Itsykson, Mikhail Slabodkin, and Dmitry Sokolov. Resolution complexity of perfect matching principles for sparse graphs. Computer Science – Theory and Application, Lecture Notes in Computer Science, pages 219-230, 2015. 

Конференции:
“Resolution complexity of perfect mathcing principles for sparse graphs”. Third Russian Finnish Symposium on Discrete Mathematics (RuFiDiM’14), Petrozavodsk, Russia.