TY  - RPRT
TI  - Efficiently Computing Compact Formal Explanations
AU  - Min Wu
AU  - Xiaofu Li
AU  - Haoze Wu
AU  - Clark Barrett
PY  - 2025
UR  - https://arxiv.org/abs/2409.03060
ID  - 2409.03060
ER  -