Averkov, Daniil, Tatiana Belova, Gregory Emdin, Mikhail Goncharov, Viktoriia Krivogornitsyna, Alexander S. Kulikov, Fedor Kurmazov, et al. 2025. “Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis”. Proceedings of the AAAI Conference on Artificial Intelligence 39 (11):11105-12. https://doi.org/10.1609/aaai.v39i11.33207.