@misc{indiciaecc50a7e4f709,
  title = {AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checking},
  author = {Guangyu Hu and Chen Chen and Xiaofeng Zhou and Jiaxi Zhang and Wei Zhang and Hongce Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2603.25048},
  note = {Source identifier: 2603.25048}
}