@misc{indiciaebe9edc943fe8,
  title = {Understanding model counting for \$β\$-acyclic CNF-formulas},
  author = {Johann Brault-Baron and Florent Capelli and Stefan Mengel},
  year = {2014},
  url = {https://arxiv.org/abs/1405.6043},
  note = {Source identifier: 1405.6043}
}