TY  - RPRT
TI  - Benchmarking the Capabilities and Limitations of SAT Solvers in Defeating Obfuscation Schemes
AU  - Shervin Roshanisefat
AU  - Harshith K. Thirumala
AU  - Kris Gaj
AU  - Houman Homayoun
AU  - Avesta Sasan
PY  - 2018
UR  - https://arxiv.org/abs/1805.00054
ID  - 1805.00054
ER  -