Averkov D, Belova T, Emdin G, Goncharov M, Krivogornitsyna V, Kulikov AS, et al. Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis. AAAI [Internet]. 2025 Apr. 11 [cited 2026 May 19];39(11):11105-12. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/33207