logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回

Boolean satisfiability from Theoretical hardness to Practical success

delete2009-08-01
delete118
PRE
AI
S
Sharad Malik *
L
Lintao Zhang
DOI：10.1145/1536616.1536637delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En
Keyword:
ALGORITHM
AI总结

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Communications of the ACM 封面图
Communications of the ACM
IF:
12.2
论文数:
1.2W
被引数:
3.7W

机构

P
Princeton University
学者数:
2.1W
论文数: 2.3W
被引数: 5.1W
M
Microsoft Research Asia
学者数:
421
论文数: 407
被引数: 2
引用论文

引用论文

err
IF0
err
err0
PREAI
err
err分享
err收藏
Mating Preference for Novel Phenotypes Can Be Explained by General Neophilia in Female Guppies
errThe American Naturalist
IF0
err2020-10-01
err0
PREAI
errMitchel J. Daniel; Laura Koffinas; Kimberly A. Hughes
err分享
err收藏
Hydrothermal Synthesis of Three-dimensional Butterfly-like Ni Architectures as Microwave Absorbers
errMaterials Research
IF0
err2015-10-01
err0
errOAAI
errYuping Sun; Niandu Wu; Caiyun Cui; Siu Wing Or; Xianguo Liu
err分享
err收藏
Exomic and transcriptomic alterations of hereditary gingival fibromatosis
errOral Diseases
IF0
err2019-04-15
err0
PREAI
errSeong Kyu Han; Jungho Kong; Sanguk Kim; Jae‐Hoon Lee; Dong‐Hoo Han
err分享
err收藏
Dealing with “enemy-brothers”: Sunni Arab consumers’ animosity toward Iran and Turkey
errJournal of Consumer Marketing
IF0
err2018-06-11
err0
PREAI
errSaeb Farhan Al Ganideh; Mohammad Niamat Elahee
err分享
err收藏
Remote Agent: to boldly go where no AI system has gone before远程代理: 大胆地去没有AI系统的地方
errartificial intelligence review
IF4.6
err1998-08-01
err305
PREAI
errMuscettola, N; Nayak, PP; Pell, B; Williams, BC
err分享
err收藏
STAT1 represses hypoxia-inducible factor-1-mediated transcription
errBiochemical and Biophysical Research Communications
IF0
err2009-10-01
err0
PREAI
errMiki Hiroi; Kazumasa Mori; Yoshiichi Sakaeda; Jun Shimada; Yoshihiro Ohmori
err分享
err收藏
A MACHINE PROGRAM FOR THEOREM-PROVING定理证明的机器程序
errCOMMUNICATIONS OF THE ACM
IF12.2
err1962-07-01
err1.8K
errOAAI
errDAVIS, M; LOGEMANN, G; LOVELAND, D
err分享
err收藏
Peripheral nerve injury differentially regulates dopaminergic pathways in the nucleus accumbens of rats with either ‘pain alone’ or ‘pain and disability’
errNeuroscience
IF0
err2010-11-01
err0
PREAI
errP.J. Austin; K. Beyer; A.L. Bembrick; K.A. Keay
err分享
err收藏
Hydrogenation and Dehydrogenation Behavior of LaNi<SUB>5-x</SUB>Co<SUB>x</SUB> (x=0, 0.25, 2) Alloys Studied by Pressure Differential Scanning Calorimetry
errMATERIALS TRANSACTIONS
IF0
err2002-01-01
err0
errOAAI
errKohta Asano; Yoshihiro Yamazaki; Yoshiaki Iijima
err分享
err收藏
学者 查看更多内容