发布文献求助
待确认
  • 文献求助详情
标题
Improving two-mode algorithm via probabilistic selection for solving satisfiability problem
求解可满足性问题的概率选择双模算法的改进
相关领域
概率逻辑 计算机科学 解算器 布尔可满足性问题 选择（遗传算法） 可满足性 模式（计算机接口） 算法 贪婪算法 相关性（法律） 理论计算机科学 数学优化 人工智能 数学 政治学 法学 程序设计语言 操作系统
网址
https://doi.org/10.1016/j.ins.2023.119751
DOI
10.1016/j.ins.2023.119751 doi
其它 期刊：Information Sciences
作者：Huimin Fu; Shaowei Cai; Guanfeng Wu; Jun Liu; Xin Yang; et al
出版日期：2023-10-06
求助人
静心404 在 2025-09-08 17:25:09 发布自中国，悬赏 10 积分
下载
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
提交工单
相关文献
  1. Double Configuration Checking in Stochastic Local Search for Satisfiability
  2. On Partitioning for Maximum Satisfiability
  3. ASIG: An all-solution SAT solver for CNF formulas
  4. Satisfiability and Algorithms for Non-uniform Random k-SAT
  5. A second order parameter for 3SAT
  6. An Effective FPGA Solver on Probability Distribution and Preprocessing
  7. An improved all-solution SAT solver
  8. Detection of Planted Solutions for Flat Satisfiability Problems
  9. Detection of Planted Solutions for Flat Satisfiability Problems
  10. Automatic Algorithm Selection for Pseudo-Boolean Optimization with Given Computational Time Limits
　...点击展开更多...　
求助 / 应助时间线

  • 请等待求助人确认

    已经有人上传了文献，该状态下其他人无法上传，请等待求助人确认该文件是否是他需要的。
    如果求助人在 48 小时内还未确认，系统默认应助成功，本求助将自动关闭。

  • 14小时前

    竹車 竹車 Lv4 上传了文件

    待审核 1-s2.0-S0020025523013361-main.pdf (618.21 KB)
    温馨提示：本文件中的下载单位、IP等隐私信息已被删除。如有遗漏，请 提交工单 反馈。

  • 15小时前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献，机器人已退出，请等待人工下载

    17:25:15 未找到该文献，机器人已退出，请等待人工下载
    17:25:11 科研通AI机器人（英国 伦敦）收到请求，开始寻找文献
    17:25:09 已向机器人发送请求

  • 15小时前

    静心404 静心404 Lv4 求助人 发起了本次求助

更新
PDF的下载单位、IP信息已删除 (2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
ppzy发布了新的文献求助10
刚刚
收声发布了新的文献求助10
1秒前
wanmiao12完成签到，获得积分10
2秒前
笑林完成签到 ，获得积分10
2秒前
李萍萍完成签到，获得积分10
2秒前
spring079完成签到，获得积分10
2秒前
甜甜千兰完成签到，获得积分10
3秒前
3秒前
西红柿SofM关注了科研通微信公众号
3秒前
4秒前
GGBOND完成签到，获得积分10
4秒前
LC2228完成签到，获得积分10
4秒前
小徐医生发布了新的文献求助10
5秒前
小蚂蚁完成签到 ，获得积分10
5秒前
my123完成签到，获得积分10
5秒前
空白娃娃完成签到，获得积分10
5秒前
6秒前
所所的应助被huohuo采纳，获得10
7秒前
7秒前
kuahiwuya发布了新的文献求助100
7秒前
小通完成签到，获得积分10
7秒前
搜集达人的应助被收声采纳，获得10
8秒前
8秒前
8秒前
11完成签到，获得积分10
8秒前
在水一方的应助被哈哈哈采纳，获得10
9秒前
慕容博发布了新的文献求助10
9秒前
洇澧完成签到，获得积分10
10秒前
不吃橘子完成签到，获得积分10
10秒前
榴莲奶黄包完成签到，获得积分10
10秒前
神sjsj发布了新的文献求助10
11秒前
贾昌波完成签到，获得积分10
11秒前
小徐医生完成签到，获得积分10
11秒前
科研通AI6的应助被fx采纳，获得10
12秒前
小圆子完成签到，获得积分10
12秒前
xcy完成签到 ，获得积分10
13秒前
小文完成签到，获得积分10
13秒前
Xiaoming85完成签到，获得积分10
14秒前
隐形曼青的应助被12345采纳，获得30
14秒前
单薄的沛蓝完成签到，获得积分10
15秒前
高分求助中
(应助此贴封号)【重要！！请各位详细阅读】【科研通的精品贴汇总】 10000
F-35B V2.0 How to build Kitty Hawk's F-35B Version 2.0 Model 2000
줄기세포 생물학 1000
Biodegradable Embolic Microspheres Market Insights 888
Quantum reference frames : from quantum information to spacetime 888
The Netter Collection of Medical Illustrations: Digestive System, Volume 9, Part III - Liver, Biliary Tract, and Pancreas （3rd Edition） 600
INQUIRY-BASED PEDAGOGY TO SUPPORT STEM LEARNING AND 21ST CENTURY SKILLS: PREPARING NEW TEACHERS TO IMPLEMENT PROJECT AND PROBLEM-BASED LEARNING 500
热门求助领域 （近24小时）
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号，转发送积分 4472966
求助须知：如何正确求助？哪些是违规求助？ 3932136
关于积分的说明 12198805
捐赠科研通 3586747
什么是DOI，文献DOI怎么找？ 1971653
邀请新用户注册赠送积分活动 1009558
科研通“疑难数据库（出版商）”最低求助积分说明 903284
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通