Anti-SAT: Mitigating SAT Attack on Logic Locking.
Yang XieAnkur SrivastavaPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2019)
Keyphrases
- sat solvers
- satisfiability problem
- stochastic local search
- phase transition
- sat problem
- max sat
- search algorithm
- boolean satisfiability
- propositional satisfiability
- search strategies
- variable ordering
- sat solving
- database systems
- quantifier free
- risk management
- concurrency control
- logic programming
- object oriented database management systems