Averkov, D., Belova, T., Emdin, G., Goncharov, M., Krivogornitsyna, V., Kulikov, A. S., … Vorobiev, A. (2025). Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis. Proceedings of the AAAI Conference on Artificial Intelligence, 39(11), 11105–11112. https://doi.org/10.1609/aaai.v39i11.33207