TY  - RPRT
TI  - Backdoor Decomposable Monotone Circuits and their Propagation Complete Encodings
AU  - Petr Kučera
AU  - Petr Savický
PY  - 2021
UR  - https://arxiv.org/abs/1811.09435
ID  - 1811.09435
ER  -