TY  - RPRT
TI  - Efficient Explanations for Knowledge Compilation Languages
AU  - Xuanxiang Huang
AU  - Yacine Izza
AU  - Alexey Ignatiev
AU  - Martin C. Cooper
AU  - Nicholas Asher
AU  - Joao Marques-Silva
PY  - 2021
UR  - https://arxiv.org/abs/2107.01654
ID  - 2107.01654
ER  -