@misc{indiciae75e9e16638ab,
  title = {Improving FSM State Enumeration Performance for Hardware Security with RECUT and REFSM-SAT},
  author = {Jim Geist and Travis Meade and Shaojie Zhang and Yier Jin},
  year = {2023},
  url = {https://arxiv.org/abs/2311.10273},
  note = {Source identifier: 2311.10273}
}