Login / Signup
Trace Logic Locking: Improving the Parametric Space of Logic Locking.
Michael Zuzak
Yuntao Liu
Ankur Srivastava
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2021)
Keyphrases
</>
modal logic
search space
logic programming
classical logic
sound and complete axiomatization
database
concurrency control
fine granularity
proof theory
real time
neural network
learning algorithm
image sequences
predicate logic