掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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.
CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability
机译:
CCAnr:基于配置检查的本地搜索求解器,可满足非随机性要求
作者:
Shaowei Cai
;
Chuan Luo
;
Kaile Su
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
2.
PBLib - A Library for Encoding Pseudo-Boolean Constraints into CNF
机译:
PBLib-用于将伪布尔约束编码为CNF的库
作者:
Tobias Philipp
;
Peter Steinke
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
3.
Speeding up MUS Extraction with Preprocessing and Chunking
机译:
通过预处理和分块加速MUS提取
作者:
Valeriy Balabanov
;
Alexander Ivrii
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
4.
Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP
机译:
稀疏MAX-SAT和MAX-k-CSP的改进算法
作者:
Ruiwen Chen
;
Rahul Santhanam
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
关键词:
Satisfiability algorithm;
MAX-SAT;
MAX-k-CSP;
5.
Laissez-Faire Caching for Parallel #SAT Solving
机译:
留给缓存进行并行#SAT解决
作者:
Jan Burchard
;
Tobias Schubert
;
Bernd Becker
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
6.
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers
机译:
SATGraf:在求解器中可视化SAT公式结构的演变
作者:
Zack Newsham
;
William Lindsay
;
Vijay Ganesh
;
Jia Hui Liang
;
Sebastian Fischmeister
;
Krzysztof Czarnecki
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
7.
Hints Revealed
机译:
提示显示
作者:
Jonathan Kalechstain
;
Vadim Ryvchin
;
Nachum Dershowitz
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
8.
Mining Backbone Literals in Incremental SAT: A New Kind of Incremental Data
机译:
增量SAT中挖掘主干字面量:一种新型的增量数据
作者:
Alexander Ivrii
;
Vadim Ryvchin
;
Ofer Strichman
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
9.
Constructing SAT Filters with a Quantum Annealer
机译:
使用量子退火器构造SAT滤波器
作者:
Adam Douglass
;
Andrew D. King
;
Jack Raymond
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
关键词:
SAT filter;
Quantum annealing;
Ising model;
Maximum cut;
Sampling;
Constraint satisfaction problem;
10.
#(E)SAT: Projected Model Counting
机译:
#(E)SAT:预计模型计数
作者:
Rehan Abdul Aziz
;
Geoffrey Chu
;
Christian Muise
;
Peter Stuckey
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
11.
Computing Maximal Autarkies with Few and Simple Oracle Queries
机译:
用很少和简单的Oracle查询来计算最大的自给自足
作者:
Oliver Kullmann
;
Joao Marques-Silva
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
12.
HordeSat: A Massively Parallel Portfolio SAT Solver
机译:
HordeSat:大规模并行SAT求解器
作者:
Tomas Balyo
;
Peter Sanders
;
Carsten Sinz
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
13.
Preprocessing for DQBF
机译:
DQBF的预处理
作者:
Ralf Wimmer
;
Karina Gitina
;
Jennifer Nist
;
Christoph Scholl
;
Bernd Becker
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
14.
Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API
机译:
通过条款组求解器API递增地计算QBF的最小不满足核心
作者:
Florian Lonsing
;
Uwe Egly
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
15.
On Compiling CNFs into Structured Deterministic DNNFs
机译:
关于将CNF编译为结构确定性DNNF
作者:
Simone Bova
;
Florent Capelli
;
Stefan Mengel
;
Friedrich Slivovsky
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
16.
SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers
机译:
SpySMAC:SAT解算器的自动配置和性能分析
作者:
Stefan Falkner
;
Marius Lindauer
;
Frank Hutter
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
17.
Community Structure Inspired Algorithms for SAT and #SAT
机译:
SAT和#SAT的社区结构启发式算法
作者:
Robert Ganian
;
Stefan Szeider
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
18.
Using Community Structure to Detect Relevant Learnt Clauses
机译:
使用社区结构检测相关的学习条款
作者:
Carlos Ansotegui
;
Jesus Giraldez-Cru
;
Jordi Levy
;
Laurent Simon
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
19.
Recognition of Nested Gates in CNF Formulas
机译:
CNF公式中嵌套门的识别
作者:
Markus Iser
;
Norbert Manthey
;
Carsten Sinz
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
20.
Exploiting Resolution-Based Representations for MaxSAT Solving
机译:
利用基于分辨率的表示法进行MaxSAT解决
作者:
Miguel Neves
;
Ruben Martins
;
Mikolas Janota
;
Ines Lynce
;
Vasco Manquinho
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
21.
SAT-Based Formula Simplification
机译:
基于SAT的公式简化
作者:
Alexey Ignatiev
;
Alessandro Previti
;
Joao Marques-Silva
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
22.
Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances
机译:
Volt:用于解决大型MaxSAT实例的惰性接地框架
作者:
Ravi Mangal
;
Xin Zhang
;
Aditya V. Nori
;
Mayur Naik
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
23.
Between SAT and UNSAT: The Fundamental Difference in CDCL SAT
机译:
SAT与UNSAT之间:CDCL SAT的根本区别
作者:
Chanseok Oh
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
24.
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
机译:
牛角公式的有效MUS枚举及其在公理定位中的应用
作者:
M. Fareed Arif
;
Carlos Mencia
;
Joao Marques-Silva
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
25.
QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving
机译:
QELL:QBF推理与扩展子句学习和水平SAT解决方案
作者:
Kuan-Hua Tu
;
Tzu-Chien Hsu
;
Jie-Hong R. Jiang
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
26.
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
机译:
SMT-RAT:战略性和并行SMT解决方案的开源C ++工具箱
作者:
Florian Corzilius
;
Gereon Kremer
;
Sebastian Junges
;
Stefan Schupp
;
Erika Abraham
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
27.
Search-Space Partitioning for Parallelizing SMT Solvers
机译:
搜索空间分区以并行化SMT解算器
作者:
Antti E.J. Hyvaerinen
;
Matteo Marescotti
;
Natasha Sharygina
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
28.
A New Approach to Partial MUS Enumeration
机译:
一种新的部分MUS枚举方法
作者:
Christian Zielke
;
Michael Kaufmann
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
29.
Evaluating CDCL Variable Scoring Schemes
机译:
评估CDCL可变计分方案
作者:
Armin Biere
;
Andreas Froehlich
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
30.
SAT-Based Horn Least Upper Bounds
机译:
基于SAT的Horn最小上限
作者:
Carlos Mencia
;
Alessandro Previti
;
Joao Marques-Silva
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
31.
Preface
机译:
前言
作者:
Marijn Heule
;
Sean Weaver
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
32.
Pragmatic Approach to Formal Verification
机译:
务实的形式验证方法
作者:
Anna Slobodova
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
33.
Applying Satisfiability to the Analysis of Cryptography
机译:
可满足性在密码分析中的应用
作者:
Aaron Tomb
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
34.
Random Formulas are Irrelevant, Right?
机译:
随机公式无关紧要,对吧?
作者:
Dimitris Achlioptas
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2015年
35.
Guiding High-Performance SAT Solvers with Unsat-Core Predictions
机译:
引导高性能SAT求解器,具有毫无核心的预测
作者:
Daniel Selsam
;
Nikolaj Bj?rner
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
36.
Circular (Yet Sound) Proofs
机译:
圆形(尚声)证明
作者:
Albert Atserias
;
Massimo Lauria
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
37.
Assessing Heuristic Machine Learning Explanations with Model Counting
机译:
评估具有模型计数的启发式机器学习解释
作者:
Nina Narodytska
;
Aditya Shrotri
;
Kuldeep S. Meel
;
Alexey Ignatiev
;
Joao Marques-Silva
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
38.
Backing Backtracking
机译:
背驮式响应
作者:
Sibylle Moehle
;
Armin Biere
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
39.
Satisfiability Threshold for Power Law Random 2-SAT in Configuration Model
机译:
权力法的可满足阈值随机2-SAT在配置模型中
作者:
Oleksii Omelchenko
;
Andrei A. Bulatov
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
关键词:
Satisfiability;
Power law;
Phase transition;
40.
Proof Complexity of Fragments of Long-Distance Q-Resolution
机译:
证明长距离Q分辨率碎片复杂性
作者:
Tomas Peitl
;
Friedrich Slivovsky
;
Stefan Szeider
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
41.
Knowledge Compilation Languages as Proof Systems
机译:
知识汇编语言作为证明系统
作者:
Florent Capelli
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
关键词:
Knowledge compilation;
Prepositional Proof Complexity;
Propositional Model Counting;
maxSAT;
42.
On Computing the Union of MUSes
机译:
在计算缪斯联盟
作者:
Carlos Mencla
;
Oliver Kullmann
;
Alexey Ignatiev
;
Joao Marques-Silva
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
43.
Preface
机译:
前言
作者:
Mikolas Janota
;
Ines Lynce
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
44.
Syntax-Guided Rewrite Rule Enumeration for SMT Solvers
机译:
SMT求解器的语法引导重写规则枚举
作者:
Andres Noetzli
;
Andrew Reynolds
;
Haniel Barbosa
;
Aina Niemetz
;
Mathias Preiner
;
Clark Barrett
;
Cesare Tinelli
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
45.
Local Search for Fast Matrix Multiplication
机译:
本地搜索快速矩阵乘法
作者:
Marijn J. H. Heule
;
Manuel Kauers
;
Martina Seidl
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
46.
QRAT Polynomially Simulates ?-Exp+Res
机译:
多项式模拟读取?--exp + res
作者:
Benjamin Kiesl
;
Martina Seidl
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
47.
Machine Learning in Automated and Interactive Theorem Proving
机译:
自动化和交互式定理中的机器学习证明
作者:
Josef Urban
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
48.
Revisiting Graph Width Measures for CNF-Encodings
机译:
REVISITING CNF编码的图形宽度测量
作者:
Stefan Mengel
;
Romain Wallon
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
49.
DRAT Proofs, Propagation Redundancy, and Extended Resolution
机译:
DRAT证明,传播冗余和扩展分辨率
作者:
Sam Buss
;
Neil Thapen
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
50.
Incremental Inprocessing in SAT Solving
机译:
SAT解决方案中的增量in procencess
作者:
Katalin Fazekas
;
Armin Biere
;
Christoph Scholl
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
51.
Speeding Up Assumption-Based SAT
机译:
加快基于假设的SAT
作者:
Randy Hickey
;
Fahiem Bacchus
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
52.
Verifying Binarized Neural Networks by Angluin-Style Learning
机译:
通过Angluin风格学习验证二金属化神经网络
作者:
Andy Shih
;
Adrian Darwiche
;
Arthur Choi
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
关键词:
Verification;
Neural networks;
Decision Diagrams;
53.
The Equivalences of Refutational QRAT
机译:
反驳QRAT的等价性
作者:
Leroy Chew
;
Judith Clymo
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
关键词:
QBF;
QRAT;
Proof complexity;
Herbrand functions;
Certificate;
54.
Combining Resolution-Path Dependencies with Dependency Learning
机译:
将分辨率路径依赖性与依赖性学习结合起来
作者:
Tomas Peitl
;
Friedrich Slivovsky
;
Stefan Szeider
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
55.
DRMaxSAT with MaxHS: First Contact
机译:
Drmaxsat与maxhs:第一次联系
作者:
Antonio Morgado
;
Alexey Ignatiev
;
Maria Luisa Bonet
;
Joao Marques-Silva
;
Sam Buss
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
56.
QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties
机译:
QRATPRE +:通过强冗余属性进行有效的QBF预处理
作者:
Florian Lousing
;
Uwe Egly
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
57.
Clausal Abstraction for DQBF
机译:
DQBF的冠军抽象
作者:
Leander Tentrup
;
Markus N. Rabe
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
58.
Simplifying CDCL Clause Database Reduction
机译:
简化CDCL子句数据库减少
作者:
Sima Jamali
;
David Mitchell
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
关键词:
Clause deletion;
CDCL;
Clause database reduction;
59.
Short Proofs in QBF Expansion
机译:
QBF扩展中的短缺
作者:
Olaf Beyersdorff
;
Leroy Chew
;
Judith Clymo
;
Meena Mahajan
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
关键词:
QBF;
Proof complexity;
Resolution;
SC;
Polynomial hierarchy;
60.
A SAT-Based System for Consistent Query Answering
机译:
基于SAT的系统,用于一致查询应答
作者:
Akhil A. Dixit
;
Phokion G. Kolaitis
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
61.
Proof Complexity of QBF Symmetry Recomputation
机译:
QBF对称性重新计算的证明复杂性
作者:
Joshua Blinkhorn
;
Olaf Beyersdorff
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
62.
Computational Sustainability: Computing for a Better World
机译:
计算可持续性:计算更美好的世界
作者:
Carla P. Gomes
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
63.
CrystalBall: Gazing in the Black Box of SAT Solving
机译:
水晶球:凝视着坐着的黑匣子
作者:
Mate Soos
;
Raghav Kulkarni
;
Kuldeep S. Meel
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
64.
On Super Strong ETH
机译:
超强Eth
作者:
Nikhil Vyas
;
Ryan Williams
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
65.
DRAT-based Bit-Vector Proofs in CVC4
机译:
CVC4中基于DRAT的位矢量证明
作者:
Alex Ozdemir
;
Aina Niemetz
;
Mathias Preiner
;
Yoni Zohar
;
Clark Barrett
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2019年
66.
Preface
机译:
前言
作者:
Serge Gaspers
;
Toby Walsh
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
67.
The GRAT Tool Chain Efficient (UN) SAT Certificate Checking with Formal Correctness Guarantees
机译:
GRAT工具链高效(UN)SAT证书检查,具有正式的正确性保证
作者:
Peter Lammich
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
68.
MaxPre: An Extended MaxSAT Preprocessor
机译:
maxpre:一个扩展的maxsat预处理器
作者:
Tuukka Korhonen
;
Jeremias Berg
;
Paul Saikko
;
Matti Jarvisalo
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
69.
Hard Satisfiable Formulas for Splittings by Linear Combinations
机译:
线性组合的分裂性的硬质满意公式
作者:
Dmitry Itsykson
;
Alexander Knop
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
70.
Coverage-Based Clause Reduction Heuristics for CDCL Solvers
机译:
CDCL求解器的基于覆盖基因减少启发式
作者:
Hidetomo Nabeshima
;
Katsumi Inoue
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
71.
CNFgen: A Generator of Crafted Benchmarks
机译:
CNFGEN:制作基准的发电机
作者:
Massimo Lauria
;
Jan Elffers
;
Jakob Nordstrom
;
Marc Vinyals
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
72.
A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers
机译:
基于传播速率的划分征收求解器的分裂启发式
作者:
Saeed Nejati
;
Zack Newsham
;
Joseph Scott
;
Jia Hui Liang
;
Catherine Gebotys
;
Pascal Poupart
;
Vijay Ganesh
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
73.
Improving MCS Enumeration via Caching
机译:
通过缓存改善MCS枚举
作者:
Alessandro Previti
;
Carlos Mencia
;
Matti Jaervisalo
;
Joao Marques-Silva
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
74.
SAT-Based Local Improvement for Finding Tree Decompositions of Small Width
机译:
基于SAT的局部改进,用于查找小宽度的树木分解
作者:
Johannes K. Fichte
;
Neha Lodha
;
Stefan Szeider
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
75.
A Resolution-Style Proof System for DQBF
机译:
DQBF的分辨率样式证明系统
作者:
Markus N. Rabe
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
76.
A Distributed Version of Syrup
机译:
糖浆的分布式版本
作者:
Gilles Audemard
;
Jean-Marie Lagniez
;
Nicolas Szczepanski
;
Sebastien Tabary
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
77.
On Simplification of Formulas with Unconstrained Variables and Quantifiers
机译:
简化无约束变量和量词的公式
作者:
Martin Jonas
;
Jan Strejcek
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
78.
A Lower Bound on CNF Encodings of the At-Most-One Constraint
机译:
最多一个约束的CNF编码的下限
作者:
Petr Kucera
;
Petr Savicky
;
Vojtech Vorel
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
关键词:
Knowledge compilation;
Cardinality constraint;
At most one constraint;
Propagation complete encoding;
79.
Theory Refinement for Program Verification
机译:
计划验证的理论细化
作者:
Antti E.J. Hyvaerinen
;
Sepideh Asadi
;
Karine Even-Mendoza
;
Grigory Fedyukovich
;
Hana Chockler
;
Natasha Sharygina
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
80.
Backdoor Treewidth for SAT
机译:
SAT的后门树木宽度
作者:
Robert Ganian
;
M.S. Ramanujan
;
Stefan Szeider
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
81.
On Tackling the Limits of Resolution in SAT Solving
机译:
在解决SAT解决方面解决分辨率的限制
作者:
Alexey Ignatiev
;
Antonio Morgado
;
Joao Marques-Silva
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
82.
From DQBF to QBF by Dependency Elimination
机译:
通过依赖消除从DQBF到QBF
作者:
Ralf Wimmer
;
Andreas Karrenbauer
;
Ruben Becker
;
Christoph Scholl
;
Bernd Becker
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
83.
PaInleSS: A Framework for Parallel SAT Solving
机译:
无痛:并行饱和辅助的框架
作者:
Ludovic Le Frioux
;
Souheib Baarir
;
Julien Sopena
;
Fabrice Kordon
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
关键词:
Parallel;
Satisfiability;
Clause sharing;
Portfolio;
Cube and conquer;
84.
Probabilistic Model Counting with Short XORs
机译:
用短XORS计数的概率模型
作者:
Dimitris Achlioptas
;
Panos Theodoropoulos
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
85.
On the Community Structure of Bounded Model Checking SAT Problems
机译:
论界限模型的社区结构检查SAT问题
作者:
Guillaume Baud-Berthier
;
Jesus Giraldez-Cru
;
Laurent Simon
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
86.
A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic
机译:
弯曲者分解方法来决定模块化线性整数算法
作者:
Bishoksan Karfle
;
Graeme Gange
;
Peter Schachte
;
Harald Sondergaard
;
Peter J. Stuckey
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
87.
A Little Blocked Literal Goes a Long Way
机译:
有点封锁的文字有很长的路要走
作者:
Benjamin Kiesl
;
Marijn J.H. Heule
;
Martina Seidl
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
88.
New Width Parameters for Model Counting
机译:
模型计数的新宽度参数
作者:
Robert Ganian
;
Stefan Szeider
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
89.
Introducing Pareto Minimal Correction Subsets
机译:
介绍Pareto最小校正子集
作者:
Miguel Terra-Neves
;
Ines Lynce
;
Vasco Manquinho
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
90.
SAT-Encodings for Special Treewidth and Pathwidth
机译:
SAT-特殊树木和路径的编码
作者:
Neha Lodha
;
Sebastian Ordyniak
;
Stefan Szeider
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
91.
An Adaptive Prefix-Assignment Technique for Symmetry Reduction
机译:
对称减少对称性前缀分配技术
作者:
Tommi Junttila
;
Matti Karppa
;
Petteri Kaski
;
Jukka Kohonen
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
92.
(I Can Get) Satisfaction: Preference-Based Scheduling for Concert-Goers at Multi-venue Music Festivals
机译:
(我可以得到)满意度:优惠为基于比赛的比赛的调度,在多场音乐节
作者:
Eldan Cohen
;
Guoyu Huang
;
J. Christopher Beck
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
93.
Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT
机译:
对称解释学习:SAT的有效动态对称处理
作者:
Jo Devriendt
;
Bart Bogaerts
;
Maurice Bruynooghe
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
关键词:
Boolean satisfiability;
Symmetry;
Proof theory;
Symmetric learning;
Dynamic symmetry breaking;
94.
Shortening QBF Proofs with Dependency Schemes
机译:
使用依赖方案缩短QBF证据
作者:
Joshua Blinkhorn
;
Olaf Beyersdorff
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
95.
An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate
机译:
通过全球学习率镜头分支启发式的实证研究
作者:
Jia Hui Liang
;
Hari Govind V.K.
;
Pascal Poupart
;
Krzysztof Czarnecki
;
Vijay Ganesh
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
96.
Dependency Learning for QBF
机译:
QBF的依赖学习
作者:
Tomas Peitl
;
Friedrich Slivovsky
;
Stefan Szeider
会议名称:
《International conference on theory and applications of satisfiability testing》
|
2017年
意见反馈
回到顶部
回到首页