Reichl, Franz-Xaver, Friedrich Slivovsky, and Stefan Szeider. 2023. “Circuit Minimization With QBF-Based Exact Synthesis”. Proceedings of the AAAI Conference on Artificial Intelligence 37 (4):4087-94. https://doi.org/10.1609/aaai.v37i4.25524.