@misc{indiciaed22f8a2e9dee,
  title = {A Strongly Exponential Separation of DNNFs from CNF Formulas},
  author = {Simone Bova and Florent Capelli and Stefan Mengel and Friedrich Slivovsky},
  year = {2015},
  url = {https://arxiv.org/abs/1411.1995},
  note = {Source identifier: 1411.1995}
}