A survey of intelligent optimization algorithms for solving satisfiability problems - 科研通

发布文献求助

已入深夜，您辛苦了！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！祝你早点完成任务，早点休息，好梦！

已完结

文献求助详情

标题	[高分] 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 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

Oxford University Press

上个求助

下个求助

Cambridge University Press

提交工单

该求助已完结，感谢关注

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

老实憨厚无套路，服务科研追梦人

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

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

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

更新

2025年影响因子查询已上线 (2025-6-18)

更新

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

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

实时播报: 天天快乐的应助被文静的天蓝采纳，获得30

1秒前; yeye完成签到，获得积分10

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

3秒前; 科研通AI2S上传了应助文件

4秒前; 琛琛多发文章发布了新的文献求助10

5秒前; 十七关闭了十七的文献求助

7秒前; Yve的应助被Lido采纳，获得10

8秒前; 科研通AI2S的应助被重要的奇异果采纳，获得10

8秒前; Hello的应助被内含子采纳，获得10

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

12秒前; 明理立果驳回了Lucas的应助

13秒前; 高高发布了新的文献求助10

14秒前; 周运来完成签到，获得积分10

14秒前; 打打上传了应助文件

15秒前; 张aa驳回了在水一方的应助

16秒前; 在水一方的应助被卓一曲采纳，获得30

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

18秒前; Orange的应助被科研通管家采纳，获得10

19秒前; 彭于晏的应助被科研通管家采纳，获得10

19秒前; 科研通管家关闭了张大英的文献求助

19秒前; 科研通管家关闭了ztq417的文献求助

19秒前; 风清扬的应助被科研通管家采纳，获得10

19秒前; 科研通管家关闭了Glufo的文献求助

19秒前; 科研通AI2S的应助被科研通管家采纳，获得10

19秒前; 小晖晖发布了新的文献求助10

20秒前; 内含子发布了新的文献求助10

23秒前; 君寻完成签到，获得积分10

24秒前; 慕青上传了应助文件

24秒前; 123完成签到，获得积分10

24秒前; 七月流火的应助被Lisa采纳，获得50

25秒前; Gianluca发布了新的文献求助10

25秒前; SYLH上传了应助文件

26秒前; CAOHOU上传了应助文件

28秒前; xielunwen发布了新的文献求助10

28秒前; 无花果上传了应助文件

28秒前; 徐豪发布了新的文献求助10

30秒前; 心睡发布了新的文献求助10

32秒前; SYLH上传了应助文件

33秒前; 琛琛多发文章完成签到，获得积分10

35秒前; 心睡完成签到，获得积分10

38秒前

高分求助中: 【请各位用户详细阅读此贴后再求助】科研通的精品贴汇总(请勿应助) 10000; 【提示信息，请勿应助】关于scihub 10000; Les Mantodea de Guyane: Insecta, Polyneoptera [The Mantids of French Guiana] 3000; 徐淮辽南地区新元古代叠层石及生物地层 3000; The Mother of All Tableaux: Order, Equivalence, and Geometry in the Large-scale Structure of Optimality Theory 3000; Research on Disturbance Rejection Control Algorithm for Aerial Operation Robots 1000; Global Eyelash Assessment scale (GEA) 1000

热门求助领域（近24小时）

热门帖子: 关注科研通微信公众号，转发送积分 4047222; 求助须知：如何正确求助？哪些是违规求助？ 3585137; 关于积分的说明 11394322; 捐赠科研通 3312426; 什么是DOI，文献DOI怎么找？ 1822602; 邀请新用户注册赠送积分活动 894536; 科研通“疑难数据库（出版商）”最低求助积分说明 816351

今日热心研友

甜蜜的楷瑞

昏睡的蟠桃

请叫我风吹麦浪

比比谁的速度快

亚特兰蒂斯

注：热心度 = 本日应助数 + 本日被采纳获取积分÷10

Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved

科研通是非营利科研互助平台，不忘初心，为科研助力

本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播

皖ICP备2024041134号-1

皖公网安备34019202002308

科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】

科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入

关注微信服务号

科研通