Back to Search Start Over

PRO2SAT: Systematic Probabilistic Satisfiability logic in Discrete Hopfield Neural Network

Authors :
Ju Chen
Mohd Shareduwan Mohd Kasihmuddin
Yuan Gao
Yueling Guo
Mohd. Asyraf Mansor
Nurul Atiqah Romli
Weixiang Chen
Chengfeng Zheng
Source :
Advances in Engineering Software. 175:103355
Publication Year :
2023
Publisher :
Elsevier BV, 2023.

Subjects

Subjects :
General Engineering
Software

Details

ISSN :
09659978
Volume :
175
Database :
OpenAIRE
Journal :
Advances in Engineering Software
Accession number :
edsair.doi...........3ee2fb5063404e9b5832a2ead4624385
Full Text :
https://doi.org/10.1016/j.advengsoft.2022.103355
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details