TY  - RPRT
TI  - Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
AU  - Daniil Averkov
AU  - Tatiana Belova
AU  - Gregory Emdin
AU  - Mikhail Goncharov
AU  - Viktoriia Krivogornitsyna
AU  - Alexander S. Kulikov
AU  - Fedor Kurmazov
AU  - Daniil Levtsov
AU  - Georgie Levtsov
AU  - Vsevolod Vaskin
AU  - Aleksey Vorobiev
PY  - 2024
UR  - https://arxiv.org/abs/2412.14933
ID  - 2412.14933
ER  -