Colnet, A. de, & Mengel, S. (2022). Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation. Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 5564-5572. https://doi.org/10.1609/aaai.v36i5.20496