Averkov, D.; Belova, T.; Emdin, G.; Goncharov, M.; Krivogornitsyna, V.; Kulikov, A. S.; Kurmazov, F.; Levtsov, D.; Levtsov, G.; Vaskin, V. Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis. AAAI 2025, 39, 11105-11112.