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