F.-X. Reichl, F. Slivovsky, and S. Szeider, “Circuit Minimization with QBF-Based Exact Synthesis”, AAAI, vol. 37, no. 4, pp. 4087-4094, Jun. 2023.