Login / Signup
Generalized SAT-Attack-Resistant Logic Locking.
Jingbo Zhou
Xinmiao Zhang
Published in:
CoRR (2019)
Keyphrases
</>
satisfiability problem
sat problem
classical logic
search algorithm
sat solvers
multi valued
database systems
optimal solution
description logics
modal logic
countermeasures
database
logic programming
concurrency control
propositional satisfiability
sat solving