AZAR, K. Z.; KAMALI, H. M.; HOMAYOUN, H.; SASAN, A. SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks. IACR Transactions on Cryptographic Hardware and Embedded Systems, v. 2019, n. 1, p. 97-122, 9 Nov. 2018.