cs.LO cs.AI
Daniil Averkov Tatiana Belova Gregory Emdin Mikhail Goncharov Viktoriia Krivogornitsyna Alexander S. Kulikov Fedor Kurmazov Daniil Levtsov Georgie Levtsov Vsevolod Vaskin Aleksey Vorobiev
Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis