Research output

  1. Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis

    Research output: Contribution to journal › Conference article › peer-review

  2. SAT-Based Circuit Local Improvement

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

  3. Minimum common string partition: Exact algorithms

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

View all (55) »

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