Reichl, F.-X., Slivovsky, F. and Szeider, S. (2023) “Circuit Minimization with QBF-Based Exact Synthesis”, Proceedings of the AAAI Conference on Artificial Intelligence, 37(4), pp. 4087–4094. doi: 10.1609/aaai.v37i4.25524.