掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Theory and Applications of Satisfiability Testing
International Conference on Theory and Applications of Satisfiability Testing
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
On Fixed-Parameter Tractable Parameterizations of SAT
机译:
在SAT的固定参数贸易参数中
作者:
Stefan Szeider
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
2.
A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation
机译:
使用有效的交换策略和有效的单位传播的本地搜索SAT求解器
作者:
Xiao Yu Li
;
Matthias F. Stallmann
;
Franc Brglez
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
3.
An Algorithm for SAT Above the Threshold
机译:
坐在阈值上方的算法
作者:
Hubie Chen
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
4.
On the Probabilistic Approach to the Random Satisfiability Problem
机译:
关于随机可靠性问题的概率方法
作者:
Giorgio Parisi
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
5.
Local Consistencies in SAT
机译:
SAT的本地始终如一
作者:
Christian Bessiere
;
Emmanuel Hebrard
;
Toby Walsh
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
6.
Satisfiability and Computing van der Waerden Numbers
机译:
可靠性和计算范德沃德号码
作者:
Michael R. Dransfield
;
Victor W. Marek
;
Miroslaw Truszczynski
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
7.
The Combinatorics of Conflicts between Clauses
机译:
条款之间的冲突组合学
作者:
Oliver Kullmann
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
8.
Width-Based Algorithms for SAT and CIRCUIT-SAT (Extended Abstract)
机译:
SAT和电路的宽度算法(扩展摘要)
作者:
Elizabeth Broering
;
Satyanarayana V. Lokam
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
9.
Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms
机译:
SAT求解器的缓存性能:有效实现算法的案例研究
作者:
Lintao Zhang
;
Sharad Malik
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
10.
Abstraction-Driven SAT-based Analysis of Security Protocols
机译:
抽象驱动的SAT基于SAT的安全协议分析
作者:
Alessandro Armando
;
Luca Compagna
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
11.
The Interaction Between Inference and Branching Heuristics
机译:
推理和分支启发式之间的相互作用
作者:
Lyndon Drake
;
Alan Frisch
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
12.
Watched Data Structures for QBF Solvers
机译:
观看QBF求解器的数据结构
作者:
Ian Gent
;
Enrico Giunchiglia
;
Massimo Narizzano
;
Andrew Rowley
;
Armando Tacchella
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
13.
Using Problem Structure for Efficient Clause Learning
机译:
使用问题结构进行高效条款学习
作者:
Ashish Sabharwal
;
Paul Beame
;
Henry Kautz
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
14.
SAT Based Predicate Abstraction for Hardware Verification
机译:
基于SAT的谓词抽象进行硬件验证
作者:
Edmund Clarke
;
Muralidhar Talupur
;
Helmut Veith
;
Dong Wang
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
15.
Effective Preprocessing with Hyper-Resolution and Equality Reduction
机译:
有效预处理超分辨率和平等减少
作者:
Fahiem Bacchus
;
Jonathan Winter
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
16.
On Computing k-CNF Formula Properties
机译:
计算K-CNF公式属性
作者:
Ryan Williams
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
17.
Read-Once Unit Resolution
机译:
读一次单元分辨率
作者:
Hans Kleine Buning
;
Xishun Zhao
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
关键词:
Propositional formulas;
tree resolution;
unit resolution;
read-once res-olution;
18.
Guiding SAT Diagnosis with Tree Decompositions
机译:
用树分解引导卫星诊断
作者:
Per Bjesse
;
James Kukula
;
Robert Damiano
;
Ted Stanion
;
Yunshan Zhu
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
19.
Solving Error Correction for Large Data Sets by Means of a SAT Solver
机译:
通过SAT Solver解决大数据集的纠错
作者:
Renato Bruni
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
20.
Comparing Different Prenexing Strategies for Quantified Boolean Formulas
机译:
比较量化布尔公式的不同前列策略
作者:
Uwe Egly
;
Martina Seidl
;
Hans Tompits
;
Stefan Woltran
;
Michael Zolda
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
21.
The Essentials of the SAT 2003 Competition
机译:
SAT 2003年竞争的必要性
作者:
Daniel Le Berre
;
Laurent Simon
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
22.
Density Condensation of Boolean Formulas
机译:
布尔公式的密度凝结
作者:
Youichi Hanatani
;
Takashi Horiyama
;
Kazuo Iwama
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
23.
Hidden Threshold Phenomena for Fixed-Density SAT-formulae
机译:
固定密度饱和公式的隐藏阈值现象
作者:
Hans van Maaren
;
Linda van Norden
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
关键词:
satisfiability;
Horn;
thresholds;
3-SAT;
graph-3-coloring;
24.
Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution
机译:
在指数大图中计算顶点偏心率:QBF配方和解决方案
作者:
Maher Mneimneh
;
Karem Sakallah
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
25.
An Extensible SAT-solver
机译:
可扩展的SAT-求解器
作者:
Niklas Een
;
Niklas Sorensson
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
26.
A Study of Pure Random Walk on Random Satisfiability Problems with 'Physical' Methods
机译:
用“物理”方法随机可满足性问题的纯随机步行研究
作者:
Guilhem Semerjian
;
Remi Monasson
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
27.
Hypergraph Reductions and Satisfiability Problems
机译:
超照片减少和可靠性问题
作者:
Daniele Pretolani
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
28.
Local Search on SAT-encoded Colouring Problems
机译:
本地搜索SAT编码着色问题
作者:
Steven Prestwich
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
29.
How Good Can a Resolution Based SAT-solver Be?
机译:
基于解决方案的SAT求解器有多好?
作者:
Eugene Goldberg
;
Yakov Novikov
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
30.
Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems
机译:
一些非全面可靠性问题的线性时间算法
作者:
Stefan Porschen
;
Bert Randerath
;
Ewald Speckenmeyer
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
关键词:
not-all-equal satisfiability;
edge coloring;
NP-completeness;
hyper-graph bicolorability;
31.
A Case for Efficient Solution Enumeration
机译:
有效解决方案枚举的案例
作者:
Sarfraz Khurshid
;
Darko Marinov
;
Ilya Shlyakhter
;
Daniel Jackson
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
32.
kcnfs: An Efficient Solver for Random k-SAT Formulae
机译:
KCNFS:随机K-SAT公式的高效求解器
作者:
Gilles Dequen
;
Olivier Dubois
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
33.
Conflict-Based Selection of Branching Rules
机译:
基于冲突的分支规则选择
作者:
Marc Herbstritt
;
Bernd Becker
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
34.
Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers'
机译:
QBF竞技场的挑战:QBF求解器的SAT'03评估“
作者:
Daniel Le Berre
;
Laurent Simon
;
Armando Tacchella
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
35.
Survey and Belief Propagation on Random K-SAT
机译:
随机K-SAT上的调查和信仰传播
作者:
Alfredo Braunstein
;
Riccardo Zecchina
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
36.
Improving a Probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs
机译:
通过动态搜索和独立条款对改进概率3-SAT算法
作者:
Sven Baumer
;
Rainer Schuler
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
37.
On Boolean Models for Quantified Boolean Horn Formulas
机译:
关于量化布尔喇叭公式的布尔模型
作者:
Hans Kleine Buning
;
K. Subramani
;
Xishun Zhao
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
38.
SBSAT: a State-Based, BDD-Based Satisfiability Solver
机译:
SBSAT:基于国家的基于BDD的可满足求解器
作者:
John Franco
;
Michal Kouril
;
John Schlipf
;
Jeffrey Ward
;
Sean Weaver
;
Michael Dransfield
;
W. Mark Vanfleet
会议名称:
《International Conference on Theory and Applications of Satisfiability Testing》
|
2004年
关键词:
Satisfiability;
State Machine;
Binary Decision Diagram;
DAG;
意见反馈
回到顶部
回到首页