@misc{indiciaec139f845a56a,
  title = {On the Relative Succinctness of Sentential Decision Diagrams},
  author = {Beate Bollig and Matthias Buttkus},
  year = {2018},
  url = {https://arxiv.org/abs/1802.04544},
  note = {Source identifier: 1802.04544}
}