Averkov, Daniil, Tatiana Belova, Gregory Emdin, Mikhail Goncharov, Viktoriia Krivogornitsyna, Alexander S. Kulikov, Fedor Kurmazov, et al. “Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis”. Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 11 (April 11, 2025): 11105–11112. Accessed May 19, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/33207.