“PrimLock: Leveraging Linear Programming to Optimize Primitive Logic Locking”. 计算机科学辑要, vol. 1, no. 1, June 2025, pp. 153-6, https://doi.org/10.63313/CS.8015.