Masking Internal Node Logical Faults and Trojan Circuits Injections with Using SAT Solvers.

Anzhela Yu. Matrosova V. Provkin

Published in: AQTR (2020)

Keyphrases

sat solvers
internal nodes
orders of magnitude
propositional satisfiability
sat solving
constraint satisfaction
leaf nodes
search space
sat problem
max sat
sat instances
search strategies
weighted max sat
sat encodings
clause learning
decision trees
state space
search algorithm
machine learning