Результаты

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

    Результаты исследований: Научные публикации в периодических изданиях › статья в журнале по материалам конференции › Рецензирование

  2. SAT-Based Circuit Local Improvement

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  3. Minimum common string partition: Exact algorithms

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Просмотреть все (55) »

Проекты

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

    Проект: исполнение гранта/договора › исполнение гранта/договора в целом

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

    Проект: исполнение гранта/договора › исполнение этапа гранта/договора

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

    Проект: исполнение гранта/договора › исполнение этапа гранта/договора

Просмотреть все () »

ID: 9512817