发布文献求助

An overview of parallel SAT solving

计算机科学 布尔可满足性问题 多核处理器 可满足性 多样性（控制论） 领域（数学） 并行计算 理论计算机科学 人工智能 数学 纯数学
作者
Ruben Martins,Vasco Manquinho,Inês Lynce
出处
期刊：Constraints - An International Journal [Springer Nature]
日期：2012-04-11 卷期号：17 (3): 304-347 被引量：56
标识
DOI：10.1007/s10601-012-9121-3
最长约 10秒，即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制，最高150M (2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
1秒前
葉要加油发布了新的文献求助10
2秒前
tmr完成签到，获得积分10
2秒前
ginkrice发布了新的文献求助10
3秒前
3秒前
温暖寻琴发布了新的文献求助10
3秒前
成就灵波完成签到，获得积分10
4秒前
4秒前
十二曲阑干完成签到，获得积分20
4秒前
hhf完成签到，获得积分10
5秒前
5秒前
酷波er的应助被哇哦呀采纳，获得10
5秒前
犹豫冰淇淋完成签到，获得积分10
5秒前
6秒前
6秒前
kuroxi完成签到，获得积分10
7秒前
001完成签到 ，获得积分10
7秒前
7秒前
天明发布了新的文献求助10
8秒前
10秒前
10秒前
丰富又亦完成签到，获得积分10
10秒前
12秒前
煜城完成签到，获得积分10
12秒前
彤航发布了新的文献求助10
12秒前
坚强的小笼包完成签到 ，获得积分10
12秒前
劉劉发布了新的文献求助30
12秒前
12秒前
cstjx完成签到，获得积分10
12秒前
zwj发布了新的文献求助10
12秒前
13秒前
三黑猫的应助被聪明纸飞机采纳，获得10
13秒前
13秒前
13秒前
大模型的应助被科研民工lxh采纳，获得10
13秒前
14秒前
小灰灰发布了新的文献求助10
15秒前
无限亦玉完成签到，获得积分10
15秒前
lyhsg完成签到 ，获得积分10
15秒前
丰富又亦发布了新的文献求助10
15秒前
高分求助中
Exploring Mitochondrial Autophagy Dysregulation in Osteosarcoma: Its Implications for Prognosis and Targeted Therapy 4000
Impact of Mitophagy-Related Genes on the Diagnosis and Development of Esophageal Squamous Cell Carcinoma via Single-Cell RNA-seq Analysis and Machine Learning Algorithms 2000
Evolution 1100
How to Create Beauty: De Lairesse on the Theory and Practice of Making Art 1000
Research Methods for Sports Studies 1000
Eric Dunning and the Sociology of Sport 800
Gerard de Lairesse : an artist between stage and studio 670
热门求助领域 （近24小时）
化学 医学 生物 材料科学 工程类 有机化学 内科学 生物化学 物理 计算机科学 纳米技术 化学工程 复合材料 遗传学 基因 催化作用 物理化学 免疫学 病理 细胞生物学
热门帖子
关注 科研通微信公众号，转发送积分 2976756
求助须知：如何正确求助？哪些是违规求助？ 2638554
关于积分的说明 7113582
捐赠科研通 2271090
什么是DOI，文献DOI怎么找？ 1204754
版权声明 591833
科研通“疑难数据库（出版商）”最低求助积分说明 588747
Copyright © 2020-2024 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：826996720【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通