TY  - RPRT
TI  - Bounded Dynamic Level Maintenance for Efficient Logic Optimization
AU  - Junfeng Liu
AU  - Qinghua Zhao
AU  - Liwei Ni
AU  - Jingren Wang
AU  - Biwei Xie
AU  - Xingquan Li
AU  - Bei Yu
AU  - Shuai Ma
PY  - 2025
UR  - https://arxiv.org/abs/2512.12554
ID  - 2512.12554
ER  -