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