编辑配置文件（在新选项卡中打开） 史蒂芬·福雷斯特 合著者距离 作者ID： forrest.stephen公司 发布方式： 史蒂芬·福雷斯特；福雷斯特，S。 已编制索引的文档： 3出版物自2014年起 合著者： 18位合著者具有3联合出版物 599合著作者 全部的 前5名合著者 0 单作者的 2 约翰·A·阿伯特。 2 艾丽卡·阿尔布拉汉姆 2 贝恩德·贝克尔 2 安娜·玛丽亚，比加蒂 2 布莱恩，马丁 2 布赫伯格，布鲁诺 2 亚历山德罗·西马蒂 2 詹姆斯·哈罗德·达文波特 2 英格兰，马修 2 帕斯卡·方丹 2 阿尔贝托·格里乔 2 丹尼尔·科宁 2 Werner M.塞勒。 2 托马斯·斯特姆 1 休斯，泰勒·W 1 Kyusang Lee公司 1 哦，Jungsuek 1 卡马尔·萨拉班迪 系列 1 IEEE天线和传播汇刊 1 计算机代数中的ACM通信 领域 2 计算机科学（68至XX） 1 光学、电磁理论（78-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用13中的次13文件 引用人▼ 年份▼ 供应链\（^2）：可满足性检查满足符号计算。（项目文件）。 Zbl 1344.68198号 艾丽卡·阿尔布拉汉姆；约翰·阿伯特；贝恩德·贝克尔；安娜·比加蒂（Anna M.Bigatti）。；布莱恩，马丁；布赫伯格，布鲁诺；亚历山德罗·西马蒂；詹姆斯·H·达文波特。；英格兰，马修；帕斯卡·方丹；史蒂芬·福雷斯特；阿尔贝托·格里乔；丹尼尔·克罗宁；Werner M.塞勒。；托马斯·斯特姆 13 2016 供应链\（^2）：可满足性检查满足符号计算。（项目文件）。 Zbl 1344.68198号 艾丽卡·阿尔布拉汉姆；约翰·阿伯特；贝恩德·贝克尔；安娜·比加蒂（Anna M.Bigatti）。；布莱恩，马丁；布赫伯格，布鲁诺；亚历山德罗·西马蒂；詹姆斯·H·达文波特。；英格兰，马修；帕斯卡·方丹；史蒂芬·福雷斯特；阿尔贝托·格里乔；丹尼尔·克罗宁；Werner M.塞勒。；托马斯·斯特姆 13 2016 所有引用出版物 前5名被引用出版物 全部的 前5名被40位作者引用 6 詹姆斯·哈罗德·达文波特 5 英格兰，马修 三 布莱特，柯蒂斯 三 维杰·加内什 三 科齐里亚斯（Ilias S.Kotsireas）。 三 托马斯·斯特姆 2 艾丽卡·阿尔布拉汉姆 2 克里斯托弗·布朗（Christopher W.Brown）。 2 阿尔贝托·格里乔 1 约翰·A·阿伯特。 1 贝恩德·贝克尔 1 安娜·玛丽亚，比加蒂 1 罗素·J·布拉德福德。 1 布莱恩，马丁 1 詹姆斯·布里奇。 1 布赫伯格，布鲁诺 1 亚历山德罗·西马蒂 1 德拉戈米尔·奥科维奇。 1 帕斯卡·方丹 1 史蒂芬·福雷斯特 1 德米特里·格里戈列夫 1 阿尔伯特·海因勒 1 黄宗岩 1 哈拉，简 1 亚历山德鲁·伊奥西夫 1 Jakubův，简 1 米科拉什·亚诺塔 1 佐尔坦科瓦奇 1 基里恩·克莱默 1 丹尼尔·科宁 1 卢卡什库贝 1 劳伦斯·查尔斯·保尔森 1 哈米德·拉科伊 1 雷西奥，托马斯 1 Werner M.塞勒。 1 塞萨尔·蒂内利 1 罗伯特·瓦伊达 1 费尔南多·瓦莱·恩里奎兹 1 安德烈亚斯·古恩特·韦伯 1 大卫·威尔逊。 5篇连载文章中引用 6 符号计算杂志 三 计算机科学中的数学 1 数学与人工智能年鉴 1 计算机代数中的ACM通信 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在9个字段中引用 12 计算机科学（68至XX） 三 组合数学（05-XX） 1 一般性和全局性主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 1 数论（11-XX） 1 交换代数（13-XX） 1 代数几何（14-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文