[1]
K. Z. Azar, H. M. Kamali, H. Homayoun, and A. Sasan, “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.