Analysis of the Satisfiability Attack Against Logic Encryption Using Synthetic Benchmarks. - Juneet Kumar Meka; Shrinidhi Venkatesh; Ranga Vemuri (iSES, 2022)