P. Kučera and P. Savický, “Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings”, AAAI, vol. 35, no. 5, pp. 3832–3840, May 2021.