Login / Signup
Improved Test Pattern Generation for Hardware Trojan Detection Using Genetic Algorithm and Boolean Satisfiability.
Sayandeep Saha
Rajat Subhra Chakraborty
Srinivasa Shashank Nuthakki
Anshul
Debdeep Mukhopadhyay
Published in:
CHES (2015)
Keyphrases
</>
boolean satisfiability
genetic algorithm
branch and bound algorithm
boolean optimization
probabilistic planning
sat solvers
sat solving
orders of magnitude
fitness function
symmetry breaking
evolutionary algorithm
heuristic search
decision problems
randomly generated
sat problem