SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
A comprehensive study and analysis on SAT-solvers: advances, usages and achievements
计算机科学
布尔可满足性问题
启发式
解算器
可满足性
理论计算机科学
约束满足问题
最大可满足性问题
并行计算
布尔函数
程序设计语言
算法
人工智能
概率逻辑
操作系统
作者
Sahel Alouneh,
Sa’ed Abed,
Mohammad H. Al Shayeji,
Raed Mesleh
出处
期刊:
Artificial Intelligence Review
[Springer Nature]
日期:2018-03-28
卷期号:52 (4): 2575-2601
被引量:14
标识
DOI:10.1007/s10462-018-9628-0
求助该文献
最长约 10秒,即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起,本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
2024年影响因子查询已上线
(2024-6-20)
更新
大幅提高文件上传限制,最高150M
(2024-4-1)
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
林夕
发布了新的
文献求助
10
刚刚
是阿水啊
上传了
应助文件
1秒前
劉劉
完成签到,获得积分
10
2秒前
ikun
完成签到,获得积分
10
3秒前
英姑
的
应助
被
GG
采纳,获得
10
5秒前
lalala
发布了新的
文献求助
10
6秒前
科研通AI2S
的
应助
被
机智的胖达
采纳,获得
10
7秒前
Hello
上传了
应助文件
8秒前
听话的幼荷
完成签到,获得积分
20
8秒前
叶95
完成签到,获得积分
10
8秒前
CipherSage
的
应助
被
方方博
采纳,获得
10
8秒前
虚幻的蛋挞
发布了新的
文献求助
10
9秒前
炙热果汁
完成签到,获得积分
10
9秒前
科研通AI2.0
上传了
应助文件
9秒前
Hello
上传了
应助文件
10秒前
犹豫冰淇淋
关注了科研通微信公众号
10秒前
小蘑菇
上传了
应助文件
10秒前
EnjieYu
完成签到,获得积分
10
11秒前
缓慢的海云
完成签到,获得积分
10
11秒前
于芋菊
的
应助
被
女青
采纳,获得
10
12秒前
科研通AI2S
上传了
应助文件
12秒前
Ava
的
应助
被
zzz
采纳,获得
10
12秒前
Green
发布了新的
文献求助
10
13秒前
黄橙子
发布了新的
文献求助
10
13秒前
青尘枫叶
发布了新的
文献求助
10
13秒前
超文献
上传了
应助文件
14秒前
爆米花
的
应助
被
Jack123
采纳,获得
10
14秒前
阔达的银耳汤
发布了新的
文献求助
10
14秒前
宜醉宜游宜睡
上传了
应助文件
15秒前
Hello
的
应助
被
哇咔咔
采纳,获得
10
15秒前
星辰大海
上传了
应助文件
15秒前
ZZ
完成签到,获得积分
20
15秒前
葉要加油
完成签到,获得积分
10
16秒前
搜集达人
上传了
应助文件
16秒前
hz
完成签到,获得积分
10
16秒前
leeQ
完成签到,获得积分
10
17秒前
万能图书馆
上传了
应助文件
17秒前
风中世平
发布了新的
文献求助
10
17秒前
华仔
上传了
应助文件
18秒前
在水一方
上传了
应助文件
18秒前
高分求助中
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
今日热心研友
InfoNinja
66
1530
梦之凌云
1410
凤凰
1380
张三坟
48
890
丰知然
66
670
热心市民小红花
51
740
云瑾
61
590
不倦
32
870
午见千山
38
580
Yziii
41
550
干净的铅笔
53
430
Leonardi
900
Singularity
36
480
superxiao
42
410
pluto
35
470
抱住仙人球
32
460
简洁
29
480
是阿水啊
75
敬老院N号
660
薰硝壤
620
注:热心度 = 本日应助数 + 本日被采纳获取积分÷10