A survey of intelligent optimization algorithms for solving satisfiability problems

已完结

文献求助详情

标题	[高分] A survey of intelligent optimization algorithms for solving satisfiability problems 求解可满足性问题的智能优化算法综述相关领域可满足性计算机科学算法布尔可满足性问题约束满足问题启发式完备性（序理论）最优化问题约束满足群体智能数学优化人工智能数学粒子群优化概率逻辑数学分析
网址	https://doi.org/10.3233/jifs-230073
DOI	10.3233/jifs-230073 doi
其它	期刊：Journal of Intelligent and Fuzzy Systems 作者：Lan Yang; Xiaofeng Wang; Hongsheng Ding; Y. Yang; Xinqing Zhao; et al 出版日期：2023-07-02
求助人	甜蜜采波在 2025-03-02 13:56:27 发布自广西，悬赏 80 积分
下载	求助已完成，仅限求助人下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

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

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

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

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

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

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

实时播报: 木杉发布了新的文献求助10

刚刚; 李健上传了应助文件

刚刚; 虚幻绮露完成签到，获得积分10

1秒前; 能力越小责任越小发布了新的文献求助10

2秒前; TheQ发布了新的文献求助10

2秒前; lpg完成签到，获得积分10

2秒前; SciGPT的应助被阳光满满采纳，获得10

3秒前; 乐乐的应助被沐雨清风采纳，获得10

4秒前; ycliu发布了新的文献求助10

4秒前; dina完成签到，获得积分10

4秒前; 橙子发布了新的文献求助10

5秒前; 科研通AI5上传了应助文件

6秒前; 彭于晏上传了应助文件

7秒前; 一个NPC完成签到，获得积分10

7秒前; 11111发布了新的文献求助10

8秒前; 执执驳回了meo的应助

8秒前; 儒雅的柠檬完成签到，获得积分10

9秒前; beibei发布了新的文献求助10

9秒前; lpg发布了新的文献求助10

9秒前; Hello上传了应助文件

9秒前; wanci上传了应助文件

10秒前; 二呆完成签到，获得积分10

11秒前; guzhiwen发布了新的文献求助10

12秒前; 田一发布了新的文献求助30

12秒前; 繁华完成签到，获得积分20

12秒前; BING完成签到，获得积分10

13秒前; ycliu完成签到，获得积分10

13秒前; 无情元瑶发布了新的文献求助10

14秒前; 务实的易形发布了新的文献求助10

14秒前; 上官若男的应助被11111采纳，获得10

15秒前; 无花果的应助被梦灵采纳，获得10

15秒前; wanci的应助被Zoye采纳，获得10

15秒前; 南城发布了新的文献求助10

16秒前; wjx发布了新的文献求助10

16秒前; 典雅的俊驰的应助被美好问枫采纳，获得30

18秒前; 加菲丰丰上传了应助文件

18秒前; Lucas的应助被激情的小蝴蝶采纳，获得10

19秒前; 隐形曼青上传了应助文件

20秒前; 务实的易形完成签到，获得积分10

20秒前; 情怀的应助被休眠的火山采纳，获得10

21秒前