PMTP: A MAX-SAT-Based Approach to Detect Hardware Trojan Using Propagation of Maximum Transition Probability | IEEE Journals & Magazine | IEEE Xplore