Detecting hardware Trojans in unspecified functionality through solving satisfiability problems.
Nicole FernIsmail SanKwang-Ting (Tim) ChengPublished in: ASP-DAC (2017)
Keyphrases
- satisfiability problem
- solving hard
- stochastic local search
- finite domain
- sat instances
- np complete
- temporal logic
- phase transition
- search algorithm
- davis putnam logemann loveland
- graph coloring problems
- sat problem
- combinatorial problems
- random sat
- search procedures
- pspace complete
- constraint satisfaction
- knowledge base
- search problems
- max sat
- constraint propagation
- mathematical programming
- randomly generated