默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2022年第25次SAT：以色列海法

>主页 >会议和研讨会 >坐

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@dagstuhl.de（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/sat/2022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/2022
库尔德普·S·梅尔,奥弗·斯特里赫曼:
第25届满意度测试理论与应用国际会议，2022年8月2-5日，以色列海法，SAT 2022。 LIPIcs公司236,达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2022，国际标准图书编号978-3-95977-242-6
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/X22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/X22
前言、目录、前言、会议组织。 0:1-0:18
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/Anders公司22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/Anders22
马库斯·安德斯:
SAT预处理器和对称性。 1:1-1:20
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/BachIB22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BachIB22
雅各布·巴赫,马库斯·伊泽尔,克莱门斯·伯姆:
最近SAT解决方案的k-投资组合的综合研究。 2:1-2:18
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/GarzonMG22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/GarzonMG22
伊万·加尔松,巴勃罗·梅塞霍,杰苏斯·吉尔德斯·克鲁:
关于现实SAT实例的深层生成模型的性能。 3:1-3:19
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/KirchwegerSS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/KirchwegerSS22
马库斯·基奇韦格,曼弗雷德·舒彻,斯特凡·塞德尔:
对罗塔基本猜想的SAT攻击。 4:1-4:18
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/SchleitzerB22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/SchleitzerB22
阿格尼斯·施莱策,奥拉夫·拜尔斯多夫:
QBF解析的硬公式类。 5:1-5:18
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/ItsyksonRS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/ItsyksonRS22
德米特里·伊特塞克森,阿图尔·里扎诺夫,彼得·斯米尔诺夫:
Tseitin公式的紧边界。 6:1-6:21
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/JanotaPP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/JanotaPP22
米科拉斯·加诺塔,杰尔·皮蓬布鲁克,巴托斯·彼得罗夫斯基:
SMT中量词实例化的学习。 7:1-7:18
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/Nadel22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/Nadel22
亚历山大·纳达尔:
Intel（R）SAT Solver简介。 8:1-8:23
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/MosseST22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/MosseST22
米兰·莫塞,哈里·沙,李阳潭:
可满足编码引理的推广及其应用。 9:1-9:18
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/ChuhH22会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/ChewH22
Leroy Chew公司,Marijn J.H.鞋垫:
为QBF关联现有强大的证明系统。 10:1-10:22
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/0001PB22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/0001PB22
本杰明·伯姆,托马斯·佩特尔,奥拉夫·拜尔斯多夫:
QCDCL中的决策应该遵循前缀顺序吗？ 11:1-11:19
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/JasBNJ22会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/JabsBNJ22
克里斯托夫·贾布斯,杰里米亚斯·伯格,安德烈亚斯·尼斯卡宁,马蒂·贾维萨洛:
基于MaxSAT的双目标布尔优化。 12:1-12:23
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/0003BJ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/0003BJ22
帕维尔·斯米尔诺夫,杰里米亚斯·伯格,马蒂·贾维萨洛:
伪布尔优化隐式命中集方法的改进。 13:1-13:18
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/NiskanenBJ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/NiskanenBJ22
安德烈亚斯·尼斯卡宁,杰里米亚斯·伯格,马蒂·贾维萨洛:
增量最大可满足性。 14:1-14:19
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/GanianPSSS22会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/GanianPSSS22
罗伯特·加尼安,菲利普·波克尔vka,安德烈·希德勒,基里尔·西蒙诺夫,斯特凡·塞德尔:
双宽加权模型计数。 15:1-15:17
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/GochtMNO22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/GochtMNO22
斯蒂芬·戈赫特,鲁本·马丁斯,雅各布·诺德斯特伦,安迪·欧特尔:
经认证的伪布尔解算CNF翻译。 16:1-16:25
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/Mengel22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/Mengel22
斯特凡·门格尔:
更改矩形决策列表中的分区。 17:1-17:20
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/BerentBW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BerentBW22
卢卡斯·贝伦特,卢卡斯·布尔霍尔泽（Lukas Burgholzer）,罗伯特·威利:
走向量子电路的SAT编码：从经典电路到Clifford电路及其他电路的旅程。 18:1-18:17
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/BannachST22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BannachST22
马克斯·班纳赫,马尔特·斯坎巴特,蒂尔·坦托:
关于MaxSAT变量的并行参数化复杂性。 19:1-19:19
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/ReichlS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/ReichlS22
Franz Xaver Reichl（弗朗茨·泽弗·赖歇尔）,弗里德里希·斯利沃夫斯基:
踏板：认证DQBF解决方案。 20:1-20:10
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/SubercaseauxH22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/SubercaseauxH22
贝尔纳多·苏贝卡索,Marijn J.H.鞋垫:
无限方格的包装色数至少为14。 21:1-21:16
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/Mahajan022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/Mahajan022
米娜·马哈扬,高拉夫·索德:
QBF合并解决方案强大但不自然。 22:1-22:19
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/WangTJS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/WangTJS22
王浩仁,关华图,蒋洁红,克里斯托夫·朔尔:
随机布尔可满足性中的量词消除。 23:1-23:17
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/Slivovsky22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/Slivovsky22
弗里德里希·斯利沃夫斯基:
具有通用分辨率的量化CDCL。 24:1-24:16
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/AlosAST22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/AlosAST22
约塞普·阿洛斯,卡洛斯·安索特吉,约塞普·M·萨尔瓦多,爱德华·托雷斯:
OptiLog V2：建模、求解、调整和运行。 25:1-25:16
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/NarodytskaB22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/NarodytskaB22
尼娜·纳罗季斯卡,尼古拉·比约纳:
使用磁芯和校正集分析磁芯制导MaxSat。 26:1-26:20
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/BiereCHKW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BiereCHKW22
阿明·比尔,Solimul Chowdhury马里兰州,Marijn J.H.鞋垫,本杰明·基尔,迈克尔·沃伦:
迁移解算器状态。 27:1-27:24
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/AudemardLM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/AudemardLM22
吉尔斯·奥德马尔,Jean-Marie Lagniez女士,玛丽·米切利:
一种新的（加权）Max#SAT精确解算器。 28:1-28:20
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/CabralJM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/CabralJM22
米格尔·卡布拉尔,米科拉斯·加诺塔,瓦斯科·曼奎尼奥:
基于SAT的Leximax优化算法。 29:1-29:19
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/FichteHR22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/FichteHR22
约翰·克劳斯·费希特,马库斯·赫彻,瓦伦丁·罗兰:
命题模型计数的证明。 30:1-30:24
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/JungMS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/JungMS22
让·克里斯托夫·荣格,瓦伦汀·梅耶·艾希伯格,阿卜杜拉·萨菲丁:
用建模语言Bule进行QBF编程。 31:1-31:14

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。