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