@misc{indiciaec8e07f92ff9b,
  title = {Bounded Dynamic Level Maintenance for Efficient Logic Optimization},
  author = {Junfeng Liu and Qinghua Zhao and Liwei Ni and Jingren Wang and Biwei Xie and Xingquan Li and Bei Yu and Shuai Ma},
  year = {2025},
  url = {https://arxiv.org/abs/2512.12554},
  note = {Source identifier: 2512.12554}
}