Sign in
NNgSAT: Neural Network guided SAT Attack on Logic Locked Complex Structures.
Kimia Zamiri Azar
Hadi Mardani Kamali
Houman Homayoun
Avesta Sasan
Published in:
CoRR (2020)
Keyphrases
</>
complex structures
neural network
logic programming
back propagation
satisfiability problem
artificial neural networks
sat solvers
ontological knowledge
sat problem
search algorithm
structured data
computational properties
propositional satisfiability
database
data sets
metadata