@inproceedings{wu2026efficiently,
 title={Efficiently Computing Compact Formal Explanations},
 author={Wu, Min and Li, Xiaofu and Wu, Haoze and Barrett, Clark},
 booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
 year={2026}
}