@misc{indiciaeb691c92af07f,
  title = {Generalized SAT-Attack-Resistant Logic Locking},
  author = {Jingbo Zhou and Xinmiao Zhang},
  year = {2021},
  doi = {10.1109/tifs.2021.3059271.},
  url = {https://arxiv.org/abs/1910.12142},
  note = {Source identifier: 1910.12142}
}