Efficiently Computing Compact Formal Explanations.

Min Wu, Xiaofu Li, Haoze Wu, Clark W. Barrett

Browse the full AAAI paper archive.