Wu, M. (2026) “Efficiently Computing Compact Formal Explanations”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(42), pp. 35857–35866. doi: 10.1609/aaai.v40i42.40900.