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. TCHES 2018, 2019, 97-122.