SAT Based Partial Attack on Compound Logic Locking. - Melbin John; Aadil Hoda; Ramanuj Chouksey; Chandan Karfa (AsianHOST, 2020)