StarExec公司

StarExec:StarExec是爱荷华大学正在开发的跨社区逻辑解决服务,由主要调查人员Aaron Stump(爱荷华州)、Geoff Sutcliffe(迈阿密大学)和Cesare Tinelli(爱荷华州)领导。我们的目标是为研究人员提供一个共享的逻辑解决基础设施,以管理基准库、社区成员,并在大型集群上提供求解器执行,并促进逻辑之间的转换。


zbMATH中的参考文献(参考文献41条,1标准件)

显示第1到第20个结果,共41个。
按年份排序(引用)
  1. JDáMúM;霍佐娃,佩特拉;科瓦茨,劳拉;肖斯沃尔,约翰内斯;Voronkov,Andrei:叠加推理中的归纳与泛化(2020)
  2. 艾哈迈德·巴亚特;Reger,Giles:受限组合统一(2019)
  3. 博拉雷拉斯,克里斯蒂娜;拉拉兹,丹尼尔;罗德里格斯·卡博内尔,恩里克;奥利维拉斯,阿尔伯特;Rubio,Albert:求解整数上非线性公式的不完全SMT技术(2019)
  4. 普利纳,卢卡;Seidl,Martina:2016年和2017年QBF solvers评估(QBFEVAL'16和QBFEVAL'17)(2019年)
  5. 罗森,迈克尔;雷格,贾尔斯:旧的还是重的?随着年龄/体重形状优雅地衰退(2019年)
  6. 雷格,吉尔斯;里纳,马丁;Suda,Martin:MACE式有限模型发现中的对称避免(2019)
  7. 雷格,吉尔斯;Voronkov,Andrei:基于饱和的证据搜索中的归纳法(2019)
  8. 雷诺兹,安德鲁;昆卡,维克托;蒂内利,塞萨尔;巴雷特,克拉克;Deters,Morgan:SMT中基于反驳的合成(2019)
  9. 舒尔茨,斯蒂芬;克鲁恩斯,西蒙;Vukmirović,Petar:更快、更高、更强:E2.3(2019年)
  10. 本特坎普,亚历山大;布兰切特,贾斯敏·克里斯蒂安;克鲁恩斯,西蒙;Waldmann,Uwe:(\lambda)-自由高阶逻辑的叠加(2018)
  11. 广川,脑;纳格尔,朱利安;米德尔多普,Aart:Cops和CoCoWeb:infrastructure for confluence tools(2018年)
  12. 科特尔尼科夫,叶夫根尼;科瓦茨,劳拉;沃龙科夫,安德烈:命令式项目的下一个国家关系的愚蠢编码(2018)
  13. 梁家辉;哦,钱塞;马修,米努;托马斯,西扎;李春晓;Ganesh,Vijay:CDCL SAT solvers基于机器学习的重启策略(2018)
  14. 雷诺兹,安德鲁;维斯瓦纳坦,阿琼;巴博萨,哈尼尔;蒂内利,塞萨尔;Barrett,Clark:具有共享选择器的数据类型(2018)
  15. 萨特克利夫:第九届IJCAR自动定理证明系统大赛——CASC-J9(2018)
  16. 阿鲁尔,拉吉耶夫;拉德哈基什纳,阿琼;Udupa,Abhishek:Scaling enumerative program synthesis via divide and Conquest(2017年),阿布舍克大学(Abhishek):通过分而治之的缩放枚举程序综合(2017年)
  17. 博拉雷拉斯,克里斯蒂娜;布罗克施密特,马克;拉拉兹,丹尼尔;奥利维拉斯,阿尔伯特;罗德里格斯·卡博内尔,恩里克;Rubio,Albert:《通过有条件终止证明终止》(2017)
  18. 格雷斯,伯恩哈德;科瓦茨,劳拉;Suda,Martin:插值的分裂证明(2017)
  19. 伊特古洛夫,丹尼亚尔;斯莱尼,约翰;Woltzenlogel Paleo,Bruno:清道夫0.1:基于冲突解决的定理证明者(2017)
  20. 梁家辉;哈里戈文德,V。K、 。;帕斯卡,波帕斯特;克扎尔克孜尔克孜;Ganesh,Vijay:基于全球学习率视角的分支启发式实证研究(2017)