@misc{indiciae7df3845a3341,
  title = {Complexity Analysis of the SAT Attack on Logic Locking},
  author = {Yadi Zhong and Ujjwal Guin},
  year = {2022},
  url = {https://arxiv.org/abs/2207.01808},
  note = {Source identifier: 2207.01808}
}