Formally Correct Search for Interpretable DNFs.

Imane Bousdira, Martin C. Cooper, Aurlie Hurault

Browse the full FASE paper archive.