YRAN2SAT: A novel flexible random satisfiability logical rule in discrete hopfield neural network.
Yueling GuoMohd Shareduwan Mohd KasihmuddinYuan GaoMohd. Asyraf MansorHabibah A. WahabNur Ezlin ZamriJu ChenPublished in: Adv. Eng. Softw. (2022)
Keyphrases
- hopfield neural network
- davis putnam logemann loveland
- satisfiability problem
- sat problem
- hybrid neural
- phase transition
- random sat
- sat solving
- first order logic
- hopfield network
- cellular neural networks
- sat instances
- satisfiability testing
- randomly generated
- stochastic local search
- hopfield networks
- np complete
- sat encodings
- energy function
- random sat instances
- sat solvers
- boolean formula
- learning rules
- propositional satisfiability
- temporal logic
- search algorithm
- boolean satisfiability
- constraint satisfaction problems
- max sat
- neural nets
- davis putnam
- propositional formulas
- genetic algorithm