Advances in Engineering Software
PRO2SAT: Systematic Probabilistic Satisfiability logic in Discrete Hopfield Neural Network
Publication date: January 2023Source: Advances in Engineering Software, Volume 175Author(s): Ju Chen, Mohd Shareduwan Mohd Kasihmuddin, Yuan Gao, Yueling Guo, Mohd. Asyraf Mansor, Nurul Atiqah Romli, Weixiang Chen, Chengfeng Zheng