Backdoor Decomposable Monotone Circuits and their Propagation Complete Encodings

Petr Kučera, Petr Savický

We describe a compilation language of backdoor decomposable monotone circuits (BDMCs) which generalizes several concepts appearing in the literature, e.g. DNNFs and backdoor trees.…