StarExec公司

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


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

显示第1到第20个结果,共35个。
按年份排序(引用)
  1. Ahmed Bhayat;Reger,Giles:受限组合统一(2019)
  2. Borralleras,Cristina;Larraz,Daniel;Rodríguez Carbonell,Enric;Oliveras,Albert;Rubio,Albert:求解整数上非线性公式的不完全SMT技术(2019年)
  3. Pulina,Luca;Seidl,Martina:2016和2017 QBF solvers评估(QbEval'16和QBFEVAL'17)(2019年)
  4. 罗森,迈克尔;雷格,贾尔斯:老还是重?随着年龄/体重形状优雅地衰退(2019年)
  5. Reger,Giles;Riener,Martin;Suda,Martin:MACE式有限模型发现中的对称避免(2019)
  6. Reger,Giles;Voronkov,Andrei:基于饱和的证据搜索中的归纳法(2019)
  7. Reynolds,Andrew;Kuncak,Viktor;Tinelli,Cesare;Barrett,Clark;Deters,Morgan:SMT中基于反驳的合成(2019)
  8. Stephan Schulz;Simon Cruanes;Vukmirović,Petar:更快、更高、更强:E2.3(2019年)
  9. Alexander Bentkamp;Blanchette,Jasmin Christian;Cruanes,Simon;Waldmann,Uwe:无(\lambda)高阶逻辑的叠加(2018)
  10. Hirokawa,Nao;Nagele,Julian;Middeldorp,Aart:Cops和CoCoWeb:infrastructure for confluence tools(2018年)
  11. Kotelnikov,叶夫根尼;Kovács,Laura;Voronkov,Andrei:命令程序的下一个国家关系的愚蠢编码(2018)
  12. Reynolds,Andrew;Viswanathan,Arjun;Barbosa,Haniell;Tinelli,Cesare;Barrett,Clark:具有共享选择器的数据类型(2018年)
  13. Gleiss,Bernhard;Kovács,Laura;Suda,Martin:插值的分裂证明(2017)
  14. Daniyar,Itegulov;Slaney,John;Woltzenlogel Paleo,Bruno:Scavenger 0.1:基于冲突解决的定理证明者(2017)
  15. Liang,Jia Hui;Hari Govind,V.K.;Poupart,Pascal;Czarnecki,Krzysztof;Ganesh,Vijay:基于全球学习率视角的分支启发式实证研究(2017)
  16. Reynolds,Andrew;Blanchette,Jasmin Christian:SMT解算器中(co)数据类型的决策过程(2017)
  17. Schrammel,Peter;Krooning,Daniel;Brain,Martin;Martins,Ruben;Teige,Tino;Bienmüller,Tom:嵌入式软件的增量有界模型检查(2017)
  18. Sternagel,Christian;Sternagel,Thomas:证明准递减强确定性条件项重写系统的合流(2017)
  19. Balyo,Tomš;Biere,Armin;Iser,Markus;Sinz,Carsten:2015年SAT比赛(2016年)
  20. Hoder,Kryštof;Reger,Giles;Suda,Martin;Voronkov,Andrei:选择选择(2016)