Backdoor Decomposable Monotone Circuits and their Propagation Complete Encodings

Open in new window