Kučera, Petr, and Petr Savický. 2021. “Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (5):3832-40. https://doi.org/10.1609/aaai.v35i5.16501.