@misc{indiciae9b6f3ce2ff98,
  title = {Benchmarking the Capabilities and Limitations of SAT Solvers in Defeating Obfuscation Schemes},
  author = {Shervin Roshanisefat and Harshith K. Thirumala and Kris Gaj and Houman Homayoun and Avesta Sasan},
  year = {2018},
  url = {https://arxiv.org/abs/1805.00054},
  note = {Source identifier: 1805.00054}
}