Mitigating SAT Attack on Logic Locking.
Yang XieAnkur SrivastavaPublished in: IACR Cryptol. ePrint Arch. (2016)
Keyphrases
- satisfiability problem
- concurrency control
- modal logic
- logic programming
- boolean satisfiability
- search strategies
- sat solvers
- countermeasures
- multi valued
- sat solving
- quantifier free
- database systems
- object oriented database management systems
- proof theory
- propositional satisfiability
- automated reasoning
- phase transition
- computational complexity