PrimLock: Leveraging Linear Programming to Optimize Primitive Logic Locking. (2025). 计算机科学辑要, 1(1), 153-163. https://doi.org/10.63313/CS.8015