TY  - RPRT
TI  - Functional Reduction to Speed Up Bounded Model Checking
AU  - Changyuan Yu
AU  - Wenbin Che
AU  - Hongce Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2512.06643
ID  - 2512.06643
ER  -