PRO2SAT: Systematic Probabilistic Satisfiability logic in Discrete Hopfield Neural Network

已完结

文献求助详情

标题	PRO2SAT: Systematic Probabilistic Satisfiability logic in Discrete Hopfield Neural Network
网址	https://doi.org/10.1016/j.advengsoft.2022.103355
DOI	10.1016/j.advengsoft.2022.103355 doi
其它	期刊：Advances in Engineering Software 作者：Chen Ju; Mohd Shareduwan Mohd Kasihmuddin; Yuan Gao; Yueling Guo; Mohd. Asyraf Mansor; et al 出版日期：2022-11-22
求助人	ee 在 2026-08-09 19:27:32 发布自四川，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。

Institute for Operations Research and the Management Sciences

上个求助

下个求助

提交工单

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

不忘初心，牢记使命，为科研工作者服务

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: bigjeba完成签到，获得积分10

9秒前; 今后上传了应助文件

48秒前; 钠电发布了新的文献求助10

53秒前; 科研通AI6.2的应助被科研通管家采纳，获得10

1分钟前; 今后的应助被科研通管家采纳，获得10

1分钟前; zoe完成签到，获得积分10

1分钟前; Pami发布了新的文献求助10

1分钟前; Pami关闭了Pami的文献求助

1分钟前; Qi完成签到，获得积分10

2分钟前; 共享精神的应助被Nina采纳，获得10

2分钟前; 蔚欢完成签到，获得积分0

2分钟前; 无花果上传了应助文件

3分钟前; agnway发布了新的文献求助10

3分钟前; 完美世界的应助被科研通管家采纳，获得10

3分钟前; agnway完成签到，获得积分10

3分钟前; kkk完成签到，获得积分10

3分钟前; 踏实一德完成签到，获得积分10

3分钟前; 关畅澎完成签到，获得积分10

4分钟前; keyanmingong完成签到，获得积分10

4分钟前; 情怀上传了应助文件

4分钟前; 钠电发布了新的文献求助10

4分钟前; 顾矜上传了应助文件

4分钟前; 喻初原完成签到，获得积分10

4分钟前; aa发布了新的文献求助10

4分钟前; aa完成签到，获得积分10

4分钟前; yipmyonphu上传了应助文件

5分钟前; 久晓完成签到，获得积分10

5分钟前; 五月完成签到，获得积分10

5分钟前; 友好碧完成签到，获得积分10

5分钟前; 皮皮完成签到，获得积分10

5分钟前; 胡萝卜完成签到，获得积分10

5分钟前; 共享精神上传了应助文件

6分钟前; Nina发布了新的文献求助10

6分钟前; 小白t73完成签到，获得积分10

6分钟前; JUN完成签到，获得积分10

6分钟前; 瞿人雄完成签到，获得积分10

7分钟前; 没心没肺完成签到，获得积分10

7分钟前; NattyPoe发布了新的文献求助10

7分钟前; 呆萌如容完成签到，获得积分10

7分钟前; 南宫士晋完成签到，获得积分10

7分钟前