Colnet, A. de; Mengel, S. Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation. AAAI 2022, 36, 5564-5572.