@misc{indiciaee7db7b0fa269,
  title = {Bounds on BDD-Based Bucket Elimination},
  author = {Stefan Mengel},
  year = {2023},
  url = {https://arxiv.org/abs/2306.00886},
  note = {Source identifier: 2306.00886}
}