Reichl, F.-X.; Slivovsky, F.; Szeider, S. Circuit Minimization With QBF-Based Exact Synthesis. AAAI 2023, 37, 4087-4094.