TY  - RPRT
TI  - Compilation and Fast Model Counting beyond CNF
AU  - Alexis de Colnet
AU  - Stefan Szeider
AU  - Tianwei Zhang
PY  - 2025
DO  - 10.24963/ijcai.2024/367
UR  - https://arxiv.org/abs/2502.00434
ID  - 2502.00434
ER  -