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

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

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

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

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

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