Popularity-similarity random SAT formulas

已完结

文献求助详情

标题	Popularity-similarity random SAT formulas 流行度-相似性随机SAT公式相关领域计算机科学地点背景（考古学）布尔可满足性问题理论计算机科学可满足性集合（抽象数据类型）随机数生成发电机（电路理论）算法程序设计语言功率（物理）古生物学哲学物理生物量子力学语言学
网址	https://doi.org/10.1016/j.artint.2021.103537
DOI	10.1016/j.artint.2021.103537 doi
其它	期刊：Artificial Intelligence 作者：Jesús Giráldez-Cru; Jordi Levy 出版日期：2021-05-26
求助人	甜蜜采波在 2025-04-17 15:24:58 发布自广西，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

American Society of Clinical Oncology (ASCO)

上个求助

下个求助

该求助已完结，感谢关注

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

在科研通，轻松享有文献下载的自由

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

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

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

活动

『应助活动周』获奖名单已公布 🔥 (2025-4-2)

更新

『中科院2025期刊分区』已更新 (2025-3-23)

更新

『即时热点』模块已上线 (2025-2-28)

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

实时播报: 酷波er的应助被年轻的大炮采纳，获得10

刚刚; stronging完成签到，获得积分10

1秒前; 小粽子的应助被范范采纳，获得10

1秒前; loong发布了新的文献求助10

1秒前; 乐乐的应助被isojso采纳，获得10

1秒前; 妮妮发布了新的文献求助10

1秒前; 缓慢的开山完成签到，获得积分10

2秒前; 所所上传了应助文件

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

3秒前; 繁荣的秋完成签到，获得积分10

3秒前; 研友_VZG7GZ上传了应助文件

3秒前; 羊羊完成签到，获得积分10

4秒前; 斗鱼飞鸟和俞完成签到，获得积分10

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

5秒前; 超帅的悟空发布了新的文献求助10

6秒前; affff完成签到，获得积分10

6秒前; 斯文败类的应助被周声声采纳，获得10

7秒前; 温柔踏歌发布了新的文献求助10

7秒前; 飞快的语山完成签到，获得积分20

8秒前; 糊涂的丹南发布了新的文献求助10

9秒前; 顺其自然完成签到，获得积分10

9秒前; 思源的应助被妮妮采纳，获得10

10秒前; Akim的应助被Lin_Yongqi采纳，获得30

11秒前; 上官若男上传了应助文件

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

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

12秒前; 温柔踏歌完成签到，获得积分20

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

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

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

14秒前; 华子完成签到，获得积分20

15秒前; 不安水壶发布了新的文献求助10

16秒前; 赫连立果完成签到，获得积分10

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

16秒前; ding的应助被糊涂的丹南采纳，获得10

16秒前; 小溪里的鱼儿完成签到，获得积分10

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

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

18秒前; bkagyin的应助被sys采纳，获得20

18秒前; 内向煎蛋发布了新的文献求助10

19秒前