Quality Assessment of Logic Locking Mechanisms using Pseudo-Boolean Optimization Techniques | IEEE Conference Publication | IEEE Xplore