PRO2SAT: Systematic Probabilistic Satisfiability logic in Discrete Hopfield Neural Network.
Ju ChenMohd Shareduwan Mohd KasihmuddinYuan GaoYueling GuoMohd. Asyraf MansorNurul Atiqah RomliWeixiang ChenChengfeng ZhengPublished in: Adv. Eng. Softw. (2023)
Keyphrases
- hopfield neural network
- satisfiability problem
- sat problem
- sat solving
- phase transition
- satisfiability testing
- sat instances
- cellular neural networks
- stochastic local search
- energy function
- hopfield network
- hopfield networks
- search algorithm
- bayesian networks
- computational properties
- sat encodings
- temporal logic
- np complete
- learning rules
- artificial neural networks
- propositional satisfiability
- genetic algorithm
- sat solvers
- logic programming
- propositional logic
- probabilistic model
- neural network
- davis putnam logemann loveland
- support vector machine
- interior point methods
- max sat
- multi valued
- conjunctive normal form
- constraint satisfaction problems