PRO2SAT: Systematic Probabilistic Satisfiability logic in Discrete Hopfield Neural Network

Ju Chen, Mohd Shareduwan Mohd Kasihmuddin, Yuan Gao, Yueling Guo, Mohd. Asyraf Mansor, Nurul Atiqah Romli, Weixiang Chen, Chengfeng Zheng. PRO2SAT: Systematic Probabilistic Satisfiability logic in Discrete Hopfield Neural Network. Advances in Engineering Software, 175:103355, 2023. [doi]

Authors

Ju Chen

This author has not been identified. Look up 'Ju Chen' in Google

Mohd Shareduwan Mohd Kasihmuddin

This author has not been identified. Look up 'Mohd Shareduwan Mohd Kasihmuddin' in Google

Yuan Gao

This author has not been identified. Look up 'Yuan Gao' in Google

Yueling Guo

This author has not been identified. Look up 'Yueling Guo' in Google

Mohd. Asyraf Mansor

This author has not been identified. Look up 'Mohd. Asyraf Mansor' in Google

Nurul Atiqah Romli

This author has not been identified. Look up 'Nurul Atiqah Romli' in Google

Weixiang Chen

This author has not been identified. Look up 'Weixiang Chen' in Google

Chengfeng Zheng

This author has not been identified. Look up 'Chengfeng Zheng' in Google