StarExec公司 swMATH ID: 8839 软件作者： 亚伦·斯塔姆；杰夫·萨克利夫（Geoff Sutcliffe）；塞萨尔·蒂内利 说明： StarExec:StarExec是爱荷华州大学开发的一项跨社区逻辑解决服务，由首席研究员Aaron Stump（爱荷华州）、Geoff Sutcliffe（迈阿密大学）和Cesare Tinelli（爱荷华州）指导。我们的目标是为研究人员提供一个共享的逻辑求解基础设施，以管理基准库、社区成员，并在大型集群上提供解算器执行，并促进逻辑之间的转换。 主页： https://www.starexec.org/starexec/public/about.jsp 相关软件： TPTP公司;z3（零3）;VAMPIRE公司;CVC4型;SMT-LIB公司;E定理证明器;超小卫星;大锤;萨塔拉克;阿凡达;水獭;Why3号机组;拉链位置;折扣;Yices公司;褶皱;伊莎贝尔/HOL;Coq公司;iProver（iProver）;葡萄糖 引用于： 62文件 标准条款 1出版物描述软件 年份 StarExec：用于逻辑解决的跨社区基础设施阿伦·斯塔姆（Aaron Stump）；Geoff Sutcliffe；塞萨尔·蒂内利 2014 全部的 前5名112位作者引用 8 贾尔斯·里格尔 8 安德鲁·雷诺兹 7 贾斯敏·克里斯蒂安·布兰切特 6 克拉克·W·巴雷特。 6 亚历山大·本特坎普 6 马丁·苏达 6 佩塔·武克米罗维奇 5 西蒙·克鲁恩斯 5 杰夫·萨特克利夫 5 塞萨尔·蒂内利 5 安德烈·沃龙科夫 4 科瓦奇，劳拉·伊尔迪科 4 Nummelin，维萨卡 三 艾哈迈德·巴亚特 三 Deters，摩根 三 维杰·加内什 三 格雷斯，伯恩哈德 三 梁家辉 三 斯蒂芬·舒尔茨 三 索菲·托雷特 2 高仁青藤 2 克里斯蒂娜·博拉莱拉斯 2 Czarnecki、Krzysztof 2 弗洛里安·弗洛恩 2 Heule，Marijn J.H。 2 Nao Hirokawa 2 马库斯·伊泽尔 2 金，蒂姆 2 维克多·昆卡 2 丹尼尔·拉拉兹 2 鲁本·马丁斯 2 朱利安·纳格尔 2 直纪西田 2 阿尔伯特·奥利弗拉斯 2 帕斯卡尔·普帕特 2 恩里克·罗德里格斯-卡博内尔 2 阿尔伯特·鲁比奥 2 乌韦州瓦尔德曼 2 Akihisa山田 2 哈拉尔德·赞克 1 拉杰夫·阿鲁尔 1 托马斯·巴利奥 1 克什蒂吉·班萨尔 1 哈尼尔·巴博萨 1 汤姆·比恩米勒 1 阿明·比尔 1 布莱恩，马丁 1 马克·布罗克施米特 1 大卫·R·科克。 1 Stéphane P.德姆里。 1 马丁·德沙奈斯 1 亚历克西斯·福勒 1 弗罗莱克斯，尼尔斯 1 吉尔根·吉斯尔 1 马尔顿哈杜 1 马科托·哈马纳 1 哈里·戈文德，V.K。 1 阿尔伯特·海因勒 1 霍德、克里什托夫 1 佩特拉·霍佐娃 1 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 1 伊娜拉、杰埃瓦娜·普利亚 1 达尼亚尔·伊特古洛夫 1 马蒂·Järvisalo 1 索拉布，乔希 1 迪帕克·卡普尔 1 叶夫根尼·科捷尔尼科夫。 1 丹尼尔·科宁 1 普拉蒂克·库马尔 1 皮埃尔·勒·博迪奇 1 维克托·列万多夫斯基 1 李春晓 1 梁天一 1 亚历山大·马雷查尔 1 马修，米诺 1 阿尔特·米德尔多普 1 马丁·Möhrmann 1 大卫·莫尼奥（David P.Monniaux）。 1 艾娜·尼梅茨 1 哦，Chanseok 1 亚当·皮斯 1 迈克尔·佩林 1 马蒂亚斯·普雷纳 1 卢卡·普利纳 1 阿琼·拉德哈克利什纳 1 苏克鲁特·拉奥 1 雅各布·拉特 1 迈克尔·劳森 1 马丁·里纳 1 菲利普·吕默 1 约翰·肖斯·沃尔（Johannes Schoisswohl） 1 彼得·施拉梅尔 1 马蒂娜·塞德尔 1 Kiraku Shintani 1 罗希特·辛格。 1 卡斯滕·辛兹 1 约翰·斯莱尼。 1 阿曼多·索拉勒扎马 1 克里斯蒂安·斯特纳格尔 1 托马斯·斯特纳格尔 …还有12位作者 全部的 前5名11篇连载文章中引用 5 AI通信 三 人工智能 三 自动推理杂志 三 系统设计中的形式化方法 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 1 计算的形式方面 1 人工智能研究杂志 1 计算机科学课堂讲稿 1 可满足性、布尔建模与计算杂志 1 计算机代数中的ACM通信 在5个字段中引用 62 计算机科学（68至XX） 17 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 凸和离散几何（52-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文