@misc{indiciae419fc65079df,
  title = {An iterative approach for counting reduced ordered binary decision diagrams},
  author = {Julien Clément and Antoine Genitrini},
  year = {2023},
  url = {https://arxiv.org/abs/2211.04938},
  note = {Source identifier: 2211.04938}
}