StarExec公司

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


zbMATH中的参考文献(参考文献45篇文章,1标准件)

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