Illner, P. and Kučera, P. 2024. A Compiler for Weak Decomposable Negation Normal Form. Proceedings of the AAAI Conference on Artificial Intelligence. 38, 9 (Mar. 2024), 10562–10570. DOI:https://doi.org/10.1609/aaai.v38i9.28926.