默认搜索操作

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

问别人

本杰明·基斯尔·雷特

本杰明·基尔

>主页 >珀森斯

人员信息

附属： 亚马逊网络服务，美国西雅图

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中的颜色是什么意思？

2023
【c21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LotzGDKKMN23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LotzGDKKMN23
凯文·洛茨,阿米特·戈尔,布鲁诺·杜特尔,本杰明·基斯尔·雷特,Soonho Kong公司,鲁帕克·马朱姆达尔,德克·诺沃特卡:
使用SAT求解字符串约束。卡瓦（2） 2023:187-208
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/KieslReiterW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KieslReiterW23
本杰明·基斯尔·雷特,迈克尔·沃伦:
带Inprocessing的增量SAT证明。 FMCAD公司 2023:132-140
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ReevesKH23公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ReevesKH23
约瑟夫·李维斯,本杰明·基斯尔·雷特,Marijn J.H.鞋垫:
命题证明框架。 TACAS（1） 2023:329-347
[第18条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MichaelsonSHKW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MichaelsonSHKW23
道恩·迈克尔森,多米尼克·施赖伯,Marijn J.H.鞋垫,本杰明·基尔·雷特,迈克尔·沃伦:
分布式子句共享SAT解算器的不满足性证明。 TACAS（1） 2023:348-366
2022
[第17条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/BiereCHKW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BiereCHKW22
阿明·比尔,Solimul Chowdhury马里兰州,Marijn J.H.鞋垫,本杰明·基尔,迈克尔·沃伦:
迁移解算器状态。坐 2022:27:1-27:24
2021
【p1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/BiereJK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/BiereJK21
阿明·比尔,马蒂·贾维萨洛,本杰明·基尔:
SAT求解中的预处理。可满足性手册 2021:391-435
2020
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/HeuleKB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/HeuleKB20
Marijn J.H.鞋垫,本杰明·基尔,阿明·比尔:
强大的无扩展证明系统。 J.汽车。原因。 64(三):533-554(2020)
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/KieslRHB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/KieslRHB20
本杰明·基尔,阿德里安·雷博拉·帕多,Marijn J.H.鞋垫,阿明·比尔:
用扩展分辨率模拟强实用证明系统。 J.汽车。原因。 64(7):1247-1267(2020)
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/CremersFKN20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/CremersFKN20
Cas Cremers公司,杰登·费尔洛泽（Jaiden Fairoze）,本杰明·基尔,奥罗拉·纳斯卡:
安全消息传递中的克隆检测：在实践中改进压缩后安全性。 CCS系统 2020:1481-1495
[第15条]
- 看法
  - 电子版@usenix.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/uss/CremersKM20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/uss/CremersKM20
Cas Cremers公司,本杰明·基尔,尼古拉斯·梅丁格:
IEEE 802.11 WPA2的形式化分析：对抗计数器破解引起的崩溃。 USENIX安全研讨会 2020:1-17

2010 – 2019

请参阅常见问题解答

出版物列表中的颜色是什么意思？

2019
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/KieslHB19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/KieslHB19
本杰明·基尔,Marijn J.H.鞋垫,阿明·比尔:
作为条件辅助者的真相分配。 ATVA公司 2019:48-64
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nfm/HeuleKB19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nfm/HeuleKB19
Marijn J.H.鞋垫,本杰明·基尔,阿明·比尔:
残损棋盘的子句证明。非金融市场 2019:204-210
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/KieslS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/KieslS19
本杰明·基尔,马蒂娜·塞德尔:
QRAT多项式模拟∀text-Exp+Res。坐 2019:193-202
[c11]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HeuleKB19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HeuleKB19
Marijn J.H.鞋垫,本杰明·基尔,阿明·比尔:
满足驱动子句学习的编码冗余。 TACAS（1） 2019:41-58
2018
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/KieslSTB18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/KieslSTB18
本杰明·基尔,马蒂娜·塞德尔,汉斯·托姆皮茨,阿明·比尔:
SAT中的局部冗余：阻塞子句的泛化。日志。方法计算。科学。 14(4)(2018)
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KieslRH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KieslRH18
本杰明·基尔,阿德里安·雷博拉·帕多,Marijn J.H.鞋垫:
扩展分辨率模拟DRAT。国际JCAR 2018:516-531
2017
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HeuleK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HeuleK17
Marijn鞋跟,本杰明·基尔:
基于干扰的证明系统的潜力。拱廊@CADE 2017:51-54
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HeuleKB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HeuleKB17
Marijn J.H.鞋垫,本杰明·基尔,阿明·比尔:
没有新变量的简短证明。 CADE公司 2017:130-147
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Kiesl017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Kiesl017
本杰明·基尔,马丁·苏达:
一阶逻辑中子句消除的统一原则。 CADE公司 2017:274-290
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/HeuleKSB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/HeuleKSB17
Marijn J.H.鞋垫,本杰明·基尔,马蒂娜·塞德尔,阿明·比尔:
P通过满意度进行调整。海法核查会议 2017:179-194
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ijcai/KieslSTB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/KieslSTB17
本杰明·基尔,马蒂娜·塞德尔,汉斯·托姆皮茨,阿明·比尔:
命题逻辑中的阻塞：你对你的邻居满意吗？国际JCAI 2017:4884-4888
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Kiesl0STB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Kiesl0STB17
本杰明·基尔,马丁·苏达,马蒂娜·塞德尔,汉斯·托姆皮茨,阿明·比尔:
一阶逻辑中的阻塞子句。 LPAR公司 2017:31-48
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/KieslHS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/KieslHS17
本杰明·基尔,Marijn J.H.鞋垫,马蒂娜·塞德尔:
一个小小的封闭文字会有很长的路要走。坐 2017:281-297
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KieslSSTB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KieslSSTB17
本杰明·基尔,马丁·苏达,马蒂娜·塞德尔,汉斯·托姆皮茨,阿明·比尔:
一阶逻辑中的阻塞子句。 CoRR公司 abs/1702.00847(2017)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KieslSTB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KieslSTB17
本杰明·基尔,马蒂娜·塞德尔,汉斯·托姆皮茨,阿明·比尔:
SAT中的局部冗余：阻塞子句的泛化。 CoRR公司 abs/1702.05527(2017)
2016
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KieslSTB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KieslSTB16
本杰明·基尔,马蒂娜·塞德尔,汉斯·托姆皮茨,阿明·比尔:
超级阻塞条款。国际JCAR 2016:45-61
2015
【c1】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/KieslST15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/KislsST15
本杰明·基尔,彼得·施勒,汉斯·托姆皮茨:
非接地回答集程序的结构分析。 ICLP（技术通信） 2015

合著者索引

请参阅常见问题解答

管理站点设置

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