Explainability via Short Formulas: the Case of Propositional Logic with Implementation

LRM
Re-assign community