TY  - RPRT
TI  - Lower Bound Proof for the Size of BDDs representing a Shifted Addition
AU  - Jan Kleinekathöfer
AU  - Alireza Mahzoon
AU  - Rolf Drechsler
PY  - 2022
UR  - https://arxiv.org/abs/2209.12477
ID  - 2209.12477
ER  -