Complexity Analysis of the SAT Attack on Logic Locking.
Yadi ZhongUjjwal GuinPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- complexity analysis
- theoretical analysis
- first order logic
- quantifier free
- lower bound
- logic programming
- computational complexity
- satisfiability problem
- sat problem
- countermeasures
- database systems
- sat instances
- classical logic
- concurrency control
- sat solvers
- secret key
- search algorithm
- computational properties
- fine granularity
- max sat
- optimal solution
- abstract argumentation
- artificial intelligence