Azar, K.Z. et al. 2018. SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks. IACR Transactions on Cryptographic Hardware and Embedded Systems. 2019, 1 (Nov. 2018), 97–122. DOI:https://doi.org/10.13154/tches.v2019.i1.97-122.