PrimLock: Leveraging Linear Programming to Optimize Primitive Logic Locking. Computer 2025, 1 (1), 153-163. https://doi.org/10.63313/CS.8015.