Login / Signup
Characterization of In-Cone Logic Locking Resiliency Against the SAT Attack.
Kyle Juretus
Ioannis Savidis
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)
Keyphrases
</>
sat solvers
modal logic
logic programming
classical logic
search algorithm
countermeasures
sat problem
phase transition
automated reasoning
concurrency control
stochastic local search
propositional satisfiability
boolean satisfiability
fine granularity
theorem proving
multi valued
sat solving
quantifier free