Research output

  1. SAT-Based Circuit Local Improvement

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  2. Minimum common string partition: Exact algorithms

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  3. Circuit depth reductions

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

View all (54) »

Projects

  1. Создание и функционирование международного научно-методического центра для распространения лучших международных практик подготовки, переподготовки и стажировки продвинутых кадров цифровой экономики в областях математики, информатики, технологий» федерального проекта «Кадры для цифровой экономики» национальной программы «Цифровая экономика в Российской Федерации (КЦЭ-03): 2020 г. этап 2

    Project: Grant fulfilment › Total grant fulfilment

  2. Санкт-Петербургский международный математический институт имени Леонарда Эйлера: 2020 г. этап 2

    Project: Grant fulfilment › Grant stage fulfilment

  3. Создание и функционирование международного научно-методического центра для распространения лучших международных практик подготовки, переподготовки и стажировки продвинутых кадров цифровой экономики в областях математики, информатики, технологий» федерального проекта «Кадры для цифровой экономики» национальной программы «Цифровая экономика в Российской Федерации (КЦЭ-03): 2019 г. этап 1

    Project: Grant fulfilment › Grant stage fulfilment

View all () »

ID: 9512817