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 (AAAI, 2025)

Simplifier: A New Tool for Boolean Circuit Simplification. - Daniil Averkov; Gregory Emdin; Viktoriia Krivogornitsyna; Alexander S. Kulikov; Fedor Kurmazov; Alexander Smal; Vsevolod Vaskin (CoRR, 2025)