“SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks”, TCHES, vol. 2019, no. 1, pp. 97–122, Nov. 2018, doi: 10.13154/tches.v2019.i1.97-122.