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]
Abstract is missing.