TY - RPRT TI - Complexity Analysis of the SAT Attack on Logic Locking AU - Yadi Zhong AU - Ujjwal Guin PY - 2022 UR - https://arxiv.org/abs/2207.01808 ID - 2207.01808 ER -