Wu, Min, Xiaofu Li, Haoze Wu, and Clark Barrett. 2026. “Efficiently Computing Compact Formal Explanations”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (42):35857-66. https://doi.org/10.1609/aaai.v40i42.40900.