@misc{indiciae1e53ede7bb9e,
  title = {Lower Bound Proof for the Size of BDDs representing a Shifted Addition},
  author = {Jan Kleinekathöfer and Alireza Mahzoon and Rolf Drechsler},
  year = {2022},
  url = {https://arxiv.org/abs/2209.12477},
  note = {Source identifier: 2209.12477}
}