TY  - RPRT
TI  - Propagation complete encodings of smooth DNNF theories
AU  - Petr Kučera
AU  - Petr Savický
PY  - 2021
UR  - https://arxiv.org/abs/1909.06673
ID  - 1909.06673
ER  -