TY  - RPRT
TI  - Efficient Knowledge Compilation Beyond Weighted Model Counting
AU  - Rafael Kiesel
AU  - Pietro Totis
AU  - Angelika Kimmig
PY  - 2022
DO  - 10.1017/s147106842200014x
UR  - https://arxiv.org/abs/2205.07496
ID  - 2205.07496
ER  -