编辑配置文件(在新选项卡中打开) 克里斯蒂安·萨特纳(Christian B.Suttner)。 合著者距离 作者ID: 苏特纳·克里斯蒂安-b 发布日期: 克里斯蒂安·萨特纳;苏特纳,C.B。;克里斯蒂安·萨特纳(Christian B.Suttner)。 更多。。。较少的 已编制索引的文档: 13出版物自1990年以来 3作为编辑的贡献 合著者: 9合著者具有14联合出版物 207位合作作者 全部的 前5名合著者 2 单作者的 9 杰夫·萨特克利夫 三 平崎北野 2 维平·库马尔 2 弗朗西斯·杰弗里·佩利蒂埃 1 沃尔夫冈·埃特尔 1 Kanal,Laveen N。 1 Schumann,Johann M.博士。 1 安德烈亚斯·沃尔夫 1 也门,西奥多 系列 4 自动推理杂志 2 人工智能通信 1 人工智能 字段 16 计算机科学(68至XX) 三 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用174中的次138文件 引用人▼ 年份▼ TPTP问题库。CNF版本v1。2. 1. Zbl 0910.68197号 杰夫·萨特克利夫;克里斯蒂安·萨特纳 69 1998 TPTP问题库。 Zbl 1433.68569号 杰夫·萨特克利夫;克里斯蒂安·萨特纳;也门人,狄奥多尔 29 1994 CASC的状态。 Zbl 1112.68464号 杰夫·萨特克利夫;克里斯蒂安·萨特纳 19 2006 评估通用自动定理证明系统。 Zbl 0996.68182号 杰夫·萨特克利夫;克里斯蒂安·萨特纳 15 2001 CADE-14 ATP系统竞赛。 Zbl 0916.68141号 克里斯蒂安·萨特纳;杰夫·萨特克利夫 13 1998 CASC的发展。 Zbl 1019.68101号 弗朗西斯·杰弗里·佩利蒂埃;杰夫·萨特克利夫;克里斯蒂安·萨特纳 10 2002 CADE ATP系统竞赛。 Zbl 1126.68580号 杰夫·萨特克利夫;克里斯蒂安·萨特纳 8 2004 IJCAR ATP系统竞赛。 Zbl 1003.68718号 苏特克利夫,G。;苏特纳,C.B。;佩莱蒂埃,F.J。 4 2002 人工智能的并行处理。第3卷。 Zbl 0895.68119号 2 1997 自动获取搜索引导启发式。 Zbl 1509.68322号 克里斯蒂安·萨特纳;沃尔夫冈·埃特尔 2 1990 CADE-13 ATP系统比赛的设计。 Zbl 1412.68263号 克里斯蒂安·萨特纳(Christian B.Suttner)。;杰夫·萨特克利夫 1 1996 人工智能的并行处理。第2卷。 Zbl 0895.68118号 1 1994 SPS并行+SETHEO=SPTHEO。 Zbl 0929.68111号 克里斯蒂安·萨特纳(Christian B.Suttner)。 1 1999 CASC的状态。 Zbl 1112.68464号 杰夫·萨特克利夫;克里斯蒂安·萨特纳 19 2006 CADE ATP系统竞赛。 Zbl 1126.68580号 杰夫·萨特克利夫;克里斯蒂安·萨特纳 8 2004 CASC的发展。 Zbl 1019.68101号 弗朗西斯·杰弗里·佩利蒂埃;杰夫·萨特克利夫;克里斯蒂安·萨特纳 10 2002 IJCAR ATP系统竞赛。 Zbl 1003.68718号 苏特克利夫,G。;苏特纳,C.B。;F.J.Pelletier。 4 2002 评估通用自动定理证明系统。 Zbl 0996.68182号 杰夫·萨特克利夫;克里斯蒂安·萨特纳 15 2001 SPS并行+SETHEO=SPTHEO。 Zbl 0929.68111号 克里斯蒂安·萨特纳(Christian B.Suttner)。 1 1999 TPTP问题库。CNF版本v1。2. 1. 兹比尔0910.68197 杰夫·萨特克利夫;克里斯蒂安·萨特纳 69 1998 CADE-14 ATP系统竞赛。 Zbl 0916.68141号 克里斯蒂安·萨特纳;杰夫·萨特克利夫 13 1998 人工智能的并行处理。第3卷。 Zbl 0895.68119号 2 1997 CADE-13 ATP系统竞赛的设计。 Zbl 1412.68263号 克里斯蒂安·萨特纳(Christian B.Suttner)。;杰夫·萨特克利夫 1 1996 TPTP问题库。 Zbl 1433.68569号 杰夫·萨特克利夫;克里斯蒂安·萨特纳;也门,西奥多 29 1994 人工智能的并行处理。第2卷。 Zbl 0895.68118号 1 1994 自动获取搜索引导启发式。 Zbl 1509.68322号 克里斯蒂安·萨特纳;沃尔夫冈·埃特尔 2 1990 所有引用出版物 前5名被引用出版物 全部的 前5名237位作者引用 16 杰夫·萨特克利夫 10 约瑟夫·厄本 7 彼得·鲍姆加特纳 5 塞萨尔·蒂内利 4 克拉克·W·巴雷特。 4 克里斯托夫·埃瓦尔德·本兹穆勒 4 乌尔里希·富巴赫 4 弗洛里安·拉贝 4 贾尔斯·里格尔 4 安德烈·沃伦科夫 三 克莱森,科恩 三 福斯,马提亚斯 三 塞萨里·卡利西克 三 安·利利斯特罗姆 三 孟佳 三 延斯·奥滕 三 劳伦斯·查尔斯·保尔森 三 斯蒂芬·舒尔茨 三 乔治·斯特鲁斯 三 阿伦·斯塔姆 三 克里斯蒂安·萨特纳(Christian B.Suttner)。 2 亚历山大·本特坎普 2 贾斯敏·克里斯蒂安·布兰切特 2 乍得·布朗·爱德华 2 西蒙·克鲁恩斯 2 Dang,Han Hing当汉兴 2 莱昂纳多·德·莫拉 2 汉斯·德·尼维尔 2 吉尔·Défourneaux 2 约尔格登津格 2 马丁·德沙奈斯 2 埃格利,乌韦 2 蒂姆·盖斯勒 2 雷纳·哈内尔 2 长谷川,龙佐 2 斯特凡·赫兹尔 2 托马斯·希伦布兰德 2 彼得·霍夫纳 2 宫崎骏小村 2 维克多·昆卡 2 莱茨,莱因霍尔德 2 伯恩德·洛什内尔 2 克里斯托弗·林奇(Christopher A.Lynch)。 2 伯恩哈德·莫勒 2 Nummelin,维萨卡 2 尼古拉斯·佩尔蒂埃 2 比约恩·佩尔泽 2 帕维尔·普德拉克 2 托马斯·拉特 2 安德鲁·雷诺兹 2 赫里伯特·舒茨 2 沃尔克·索尔格 2 马丁·苏达 2 索菲·托雷特 2 佩塔·武克米罗维奇 2 维斯科基尔 2 克里斯托夫·韦登巴赫 2 安德烈亚斯·沃尔夫 2 徐、杨 1 拉斯洛·阿萨洛斯 1 吉尔·奥德玛 1 谢尔盖·奥特西尔 1 尤尔根阿文豪斯 1 利奥·巴赫迈尔 1 格拉泽戈兹·班塞雷克 1 哈尼尔·巴博萨 1 伯恩哈德·贝克特 1 贝莱德·本哈莫 1 迈克尔·R·伯特霍尔德。 1 马克·贝泽姆 1 艾哈迈德·巴亚特 1 沃尔夫冈·比贝尔 1 马格纳斯·比约克 1 玛丽亚·保拉(Maria Paola Bonacina) 1 杰里米·邦吉奥 1 理查德·博尼肯 1 约翰·博斯 1 查尔斯·布伊拉盖 1 克里斯托弗·伯利 1 巴西利斯布齐纳斯 1 布赫伯格,布鲁诺 1 阿兰·邦迪 1 William E.伯德。 1 曹、冯 1 赵玉燕 1 陈树伟 1 陈、塔 1 卡雷尔·奇瓦洛夫斯克 1 大卫·R·科克。 1 西蒙·科尔顿 1 阿德里安·克雷西恩 1 伯恩德·因戈·达恩 1 阿尔达姆·达瓦斯 1 德瓦尔,D.A。 1 大卫·德拉海耶 1 卡洛斯·德尔加多·克鲁斯 1 朱尔斯·德沙奈斯 1 卢卡斯·狄克逊 1 Damien Doligez 1 德雷克·德拉海姆 …还有137位作者 全部的 前5名20篇连载文章中引用 26 自动推理杂志 7 应用逻辑杂志 6 符号计算杂志 5 人工智能 5 信息与计算 4 人工智能通信 三 数学与人工智能年鉴 2 信息科学 2 系统设计中的形式化方法 1 信息处理信件 1 计算机与系统科学杂志 1 编程和计算机软件 1 计算机程序设计科学 1 计算机科学与技术杂志 1 机器学习 1 国际计算机数学杂志 1 应用非经典逻辑杂志 1 数据挖掘与知识发现 1 逻辑与代数程序设计杂志 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 135 计算机科学(68至XX) 52 数学逻辑和基础(03-XX) 1 交换代数(13-XX) 1 结合环与代数(16-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文