TY  - RPRT
TI  - On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits
AU  - Alexis de Colnet
AU  - Pierre Marquis
PY  - 2023
DO  - 10.24963/ijcai.2022/358
UR  - https://arxiv.org/abs/2301.13328
ID  - 2301.13328
ER  -