Виктор Кондратьев

Виктор Кондратьев


Исследовательские группы

Биография

В 2017 году окончил математический факультет Иркутского государственного университета со степенью бакалавра. После этого окончил магистратуру в Иркутском национальном исследовательском техническом университете. Сейчас являюсь аспирантом и программистом в Институте динамики систем и теории управления.


С 2017 по 2020 был исполнителем в гранте РНФ №16-11-10046 "Применение параллельных и распределенных алгоритмов решения проблемы булевой выполнимости (SAT) к криптоанализу, поиску комбинаторных структур и исследованию дискретных моделей коллективного поведения".


В 2018 году получил диплом 1 степени за доклад на Международной студенческой научной конференции.


Являюсь одним из авторов SAT-решателя, победившего на SAT Race в 2019 году.

Профессиональная активность

  1. Методы решения задачи о булевой выполнимости
  2. Разработка эвристик, ускоряющих работу CDCL SAT-решателей
  3. Применение SAT-решателей к обращению дискретных функций
  4. Диаграммы решений