NNgSAT: Neural Network guided SAT Attack on Logic Locked Complex Structures.
Kimia Zamiri AzarHadi Mardani KamaliHouman HomayounAvesta SasanPublished in: ICCAD (2020)
Keyphrases
- complex structures
- neural network
- artificial neural networks
- first order logic
- quantifier free
- satisfiability problem
- search algorithm
- back propagation
- neural network model
- ontological knowledge
- modal logic
- logic programming
- structured data
- sat solvers
- phase transition
- stochastic local search
- artificial intelligence
- knowledge representation
- propositional satisfiability
- relational databases
- building blocks
- logic programs