PMTP: A MAX-SAT-Based Approach to Detect Hardware Trojan Using Propagation of Maximum Transition Probability.
Ahmad ShabaniBijan AlizadehPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)
Keyphrases
- max sat
- transition probabilities
- markov chain
- weighted max sat
- random walk
- lower bound
- markov models
- sat solvers
- search algorithm
- markov random walk
- branch and bound algorithm
- branch and bound
- tabu search
- satisfiability problem
- sat problem
- maximum satisfiability
- boolean satisfiability
- constraint satisfaction
- optimal solution
- orders of magnitude
- higher order
- evolutionary algorithm
- search space