Research output

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

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

View all (1) »

Projects

  1. Лаборатория искусственного интеллекта, математики и компьютерных наук им А. А. Маркова: 2026 г.

    Project: Research groups

View all () »

Activities

  1. Семинар лаборатории им. А.А. Маркова

    Activity: Attendance types › Organizing a conference, workshop, ...

View all (1) »

ID: 33857931