Complexity Analysis of the SAT Attack on Logic Locking.
Yadi ZhongUjjwal GuinPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2023)
Keyphrases
- complexity analysis
- first order logic
- quantifier free
- theoretical analysis
- lower bound
- classical logic
- satisfiability problem
- modal logic
- search algorithm
- computational complexity
- sat solvers
- logic programming
- database systems
- data mining
- max sat
- countermeasures
- computational properties
- data objects
- theorem prover
- natural language
- sat problem
- optimal solution
- classical planning
- propositional satisfiability
- boolean satisfiability
- sat solving