Kučera, P.; Savický, P. Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings. AAAI 2021, 35, 3832-3840.