
Виктор Кондратьев
Биография
В 2017 году окончил математический факультет Иркутского государственного университета со степенью бакалавра. После этого окончил магистратуру в Иркутском национальном исследовательском техническом университете. Сейчас являюсь аспирантом и программистом в Институте динамики систем и теории управления.
С 2017 по 2020 был исполнителем в гранте РНФ №16-11-10046 "Применение параллельных и распределенных алгоритмов решения проблемы булевой выполнимости (SAT) к криптоанализу, поиску комбинаторных структур и исследованию дискретных моделей коллективного поведения".
В 2018 году получил диплом 1 степени за доклад на Международной студенческой научной конференции.
Являюсь одним из авторов SAT-решателя, победившего на SAT Race в 2019 году.
Профессиональная активность
- Методы решения задачи о булевой выполнимости
- Разработка эвристик, ускоряющих работу CDCL SAT-решателей
- Применение SAT-решателей к обращению дискретных функций
- Диаграммы решений