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