D. Averkov, “Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis”, AAAI, vol. 39, no. 11, pp. 11105–11112, Apr. 2025.