A Comprehensive Test Pattern Generation Approach Exploiting SAT Attack for Logic Locking.

Yadi Zhong Ujjwal Guin

Published in: CoRR (2022)

Keyphrases

quantifier free
logic programming
modal logic
automated reasoning
rewrite systems
classical logic
sat solvers
concurrency control
satisfiability problem
phase transition
database
multi valued
max sat
variable ordering
first order logic
stochastic local search
propositional satisfiability
search algorithm