TY - RPRT TI - Explainability via Short Formulas: the Case of Propositional Logic with Implementation AU - Reijo Jaakkola AU - Tomi Janhunen AU - Antti Kuusisto AU - Masood Feyzbakhsh Rankooh AU - Miikka Vilander PY - 2022 UR - https://arxiv.org/abs/2209.01403 ID - 2209.01403 ER -