Post-SAT 2: Insertion of SAT-Unresolvable Structures

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

Trustworthy Hardware Design: Combinational Logic Locking Techniques, pp. 93-102; Sep. 2019