Anti-SAT: Mitigating SAT Attack on Logic Locking.

Yang Xie Ankur Srivastava

Published in: IACR Cryptol. ePrint Arch. (2017)

Keyphrases

satisfiability problem
sat solvers
stochastic local search algorithms
phase transition
sat problem
sat instances
stochastic local search
propositional satisfiability
sat solving
quantifier free
search algorithm
max sat
search strategies
boolean satisfiability
multi valued
variable ordering
sat encodings
np complete