×
编辑配置文件（在新选项卡中打开）

凯文·克兰西

合著者距离
作者ID： 克兰西·凯文“克兰西，凯文”最近发表的zbMATH文章
发布日期： 凯文·克兰西
已编制索引的文档： 1出版物自2012年起
合著者： 3位合著者具有1联合出版物
41位合作作者

合著者

0 单作者的
1 Oe，Duckki（杜基·欧）
1 科里·奥利弗
1 阿伦·斯塔姆

系列

领域

1 计算机科学（68至XX）

按年份列出的出版物

所有引用的出版物 前5名被引用出版物

zbMATH Open中包含的引文

1出版物有被引用14中的次13文件 引用人▼ 年份▼
versat公司：经过验证的现代SAT求解器。 Zbl 1326.68263号
Oe，Duckki（杜基·欧）;Stump，亚伦;科里·奥利弗;凯文·克兰西
14
2012
versat公司：经过验证的现代SAT求解器。 Zbl 1326.68263号
Oe，Duckki（杜基·欧）;Stump，亚伦;科里·奥利弗;凯文·克兰西
14
2012
所有引用的出版物 前5名被引用出版物
全部的 前5名

23位作者引用

4 Heule，Marijn J.H。
三 马蒂亚斯·弗勒里
三 彼得·兰米奇
2 Seulkee Baek先生
2 贾斯敏·克里斯蒂安·布兰切特
2 克里斯托夫·韦登巴赫
1 丹尼·鲍尔森（Danny Bougsted Poulsen）
1 瑟·特凡·乔巴赫
1 沃伦·朱恩·亨特（Warren jun Hunt）。
1 维奥雷尔·奥尔达奇
1 马特·考夫曼
1 米贾·库尔琴斯基
1 马吕斯·林道尔
1 凯文·洛茨
1 诺伯特·曼恩
1 朱利叶斯·迈克利斯
1 玛格努斯·奥·米林。
1 托比亚斯·尼普科
1 德克·诺沃特卡
1 托拜厄斯·菲利普
1 安德斯·施利奇特克鲁尔
1 Tan，Yong Kiam先生
1 内森·韦兹勒。

2篇连载文章中引用

2 自动推理杂志
1 计算机科学中的逻辑方法

在2个字段中引用

11 计算机科学（68至XX）
4 数学逻辑和基础（03-XX）

按年份列出的引文