@misc{indiciaeed002345ccac,
  title = {Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation},
  author = {Alexis de Colnet and Stefan Mengel},
  year = {2021},
  url = {https://arxiv.org/abs/2112.12430},
  note = {Source identifier: 2112.12430}
}