Improving two-mode algorithm via probabilistic selection for solving satisfiability problem

概率逻辑 计算机科学 解算器 布尔可满足性问题 选择(遗传算法) 可满足性 模式(计算机接口) 算法 贪婪算法 相关性(法律) 理论计算机科学 数学优化 人工智能 数学 政治学 法学 程序设计语言 操作系统
作者
Huimin Fu,Shaowei Cai,Guanfeng Wu,Jun Liu,Xin Yang,Yang Xu
出处
期刊:Information Sciences [Elsevier BV]
卷期号:653: 119751-119751
标识
DOI:10.1016/j.ins.2023.119751
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
1秒前
科研顺利完成签到 ,获得积分10
1秒前
叶叶叶完成签到,获得积分10
2秒前
在水一方应助负责从丹采纳,获得10
2秒前
专注乐巧完成签到 ,获得积分10
4秒前
CodeCraft应助丁一采纳,获得30
4秒前
4秒前
5秒前
6秒前
应急食品完成签到,获得积分10
6秒前
8秒前
wenqing发布了新的文献求助10
8秒前
Criminology34应助tyz采纳,获得10
9秒前
10秒前
10秒前
10秒前
11秒前
xy完成签到,获得积分10
12秒前
handsomeman发布了新的文献求助10
13秒前
大脑停工完成签到,获得积分10
13秒前
14秒前
轻松的万天完成签到 ,获得积分10
14秒前
星辰大海应助杜小鱼采纳,获得10
14秒前
14秒前
16秒前
wanci应助YF_1987采纳,获得10
17秒前
小马甲应助NeoWu采纳,获得10
19秒前
Sylphiette发布了新的文献求助10
19秒前
不想起床完成签到,获得积分10
20秒前
补课完哩发布了新的文献求助10
20秒前
handsomeman完成签到,获得积分20
21秒前
香蕉觅云应助科研通管家采纳,获得10
21秒前
yy应助科研通管家采纳,获得10
21秒前
wanci应助科研通管家采纳,获得10
21秒前
JamesPei应助科研通管家采纳,获得10
21秒前
CipherSage应助科研通管家采纳,获得20
21秒前
今后应助科研通管家采纳,获得10
21秒前
orixero应助科研通管家采纳,获得10
21秒前
小蘑菇应助科研通管家采纳,获得10
21秒前
情怀应助科研通管家采纳,获得10
21秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
The Cambridge History of China: Volume 4, Sui and T'ang China, 589–906 AD, Part Two 1500
Cowries - A Guide to the Gastropod Family Cypraeidae 1200
Quality by Design - An Indispensable Approach to Accelerate Biopharmaceutical Product Development 800
Pulse width control of a 3-phase inverter with non sinusoidal phase voltages 777
Signals, Systems, and Signal Processing 610
Research Methods for Applied Linguistics: A Practical Guide 600
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 工程类 有机化学 化学工程 生物化学 计算机科学 物理 内科学 复合材料 催化作用 物理化学 光电子学 电极 细胞生物学 基因 无机化学
热门帖子
关注 科研通微信公众号,转发送积分 6401010
求助须知:如何正确求助?哪些是违规求助? 8217999
关于积分的说明 17415725
捐赠科研通 5453920
什么是DOI,文献DOI怎么找? 2882328
邀请新用户注册赠送积分活动 1858981
关于科研通互助平台的介绍 1700658