@misc{indiciaec96e32d0c049,
  title = {Functional Reduction to Speed Up Bounded Model Checking},
  author = {Changyuan Yu and Wenbin Che and Hongce Zhang},
  year = {2025},
  url = {https://arxiv.org/abs/2512.06643},
  note = {Source identifier: 2512.06643}
}