Complexity Analysis of the SAT Attack on Logic Locking.
Yadi ZhongUjjwal GuinPublished in: CoRR (2022)
Keyphrases
- complexity analysis
- first order logic
- quantifier free
- theoretical analysis
- satisfiability problem
- lower bound
- automated reasoning
- logic programming
- database systems
- modal logic
- data objects
- sat solvers
- classical logic
- concurrency control
- theorem proving
- computational complexity
- search algorithm
- multi valued
- propositional satisfiability
- boolean satisfiability
- stochastic local search algorithms
- logic programs
- search procedure
- sat instances
- sat solving
- artificial intelligence