Результаты

  1. On Limits of Symbolic Approach to SAT Solving

    Результаты исследований: Материалы конференцийматериалыРецензирование

  2. Computational and Proof Complexity of Partial String Avoidability

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

  3. On obdd-based algorithms and proof systems that dynamically change the order of variables

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

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

Проекты

  1. 2021 Международная конференция «St. Petersburg Days of Logic and Computability V»

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

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

ID: 35825084