StarExec公司

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

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）