StarExec公司

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


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

显示第1到第20个结果,共52个。
按年份排序(引用)
  1. 本特坎普,亚历山大;布兰切特,贾斯敏;克鲁恩斯,西蒙;Waldmann,Uwe:无lambda高阶逻辑的叠加(2021)
  2. 弗雷克,尼尔斯;海勒,玛丽安;伊瑟,马库斯;马尔维萨洛,马蒂;苏达,马丁:2020年SAT竞赛(2021年)
  3. 尼美兹,艾娜;普雷纳,马蒂亚斯;雷诺兹,安德鲁;巴雷特,克拉克;Tinelli,Cesare:关于利用可逆条件求解量化位向量约束(2021)
  4. 萨特克利夫:第十届IJCAR自动定理证明系统竞赛——CASC-J10(2021)
  5. 萨特克利夫,杰夫;马丁·德沙奈斯:CADE-28自动定理证明系统竞赛——CASC-28(2021)
  6. Vukmirović,佩塔;本特坎普,亚历山大;Nummelin,Visa:高效的完全高阶统一(2021年)
  7. 于金强;伊格纳蒂耶夫,亚历克赛;斯图基,彼得J。;Le Bodic,Pierre:通过SAT学习最佳决策集和列表(2021)
  8. 哈杜,马尔顿;霍佐娃,佩特拉;科瓦茨,劳拉;肖斯沃尔,约翰内斯;Voronkov,Andrei:叠加推理中的归纳与泛化(2020)
  9. Rümmer,Philipp:竞争报告:CHC-COMP-20(2020)
  10. 艾哈迈德·巴亚特;Reger,Giles:受限组合统一(2019)
  11. 博拉雷拉斯,克里斯蒂娜;拉拉兹,丹尼尔;罗德里格斯·卡博内尔,恩里克;奥利维拉斯,阿尔伯特;Rubio,Albert:求解整数上非线性公式的不完全SMT技术(2019)
  12. 约希,苏拉伯;库马尔,普拉蒂克;拉奥,苏克拉特;马丁斯,鲁本:\textsfOpen WBO Inc:不完全加权最大卫星近似策略(2019年)
  13. 普利纳,卢卡;Seidl,Martina:2016年和2017年QBF solvers评估(QBFEVAL'16和QBFEVAL'17)(2019年)
  14. 罗森,迈克尔;雷格,贾尔斯:旧的还是重的?随着年龄/体重形状优雅地衰退(2019年)
  15. 雷格,吉尔斯;里纳,马丁;Suda,Martin:MACE式有限模型发现中的对称避免(2019)
  16. 雷格,吉尔斯;Voronkov,Andrei:基于饱和的证据搜索中的归纳法(2019)
  17. 雷诺兹,安德鲁;昆卡,维克托;蒂内利,塞萨尔;巴雷特,克拉克;Deters,Morgan:SMT中基于反驳的合成(2019)
  18. 舒尔茨,斯蒂芬;克鲁恩斯,西蒙;Vukmirović,Petar:更快、更高、更强:E2.3(2019年)
  19. 萨特克利夫:CADE-27自动定理证明系统竞赛——CASC-27(2019)
  20. 奥图,高仁;哈马纳,Makoto;广川,脑;米德尔多普,Aart;纳格尔,朱利安;西田、直木;新塔尼,基拉库;扎克尔,哈拉尔德:融合竞争2018(2018)