The SAT attack

Authors: M. Yasin, J. Rajendran, O. Sinanoglu

Trustworthy Hardware Design: Combinational Logic Locking Techniques, pp. 47-56; Sep. 2019