SMT-LIB公司

创建SMT-LIB的目的是希望通用标准和基准库的可用性将极大地促进SMT系统的评估和比较,并以与TPTP库在定理证明方面所做的相同的方式提高该领域的技术水平,或者SATLIB库最初是为SAT做的。


zbMATH中的参考文献(参考文献188篇)

显示188的结果1到20。
按年份排序(引用)

1 2 ... 8 9 10 下一个

  1. Ábrahám,埃里卡;达文波特,詹姆斯H。;英格兰,马修;Kremer,Gereon:用圆柱代数覆盖确定非线性实数运算约束与冲突驱动搜索的一致性(2021)
  2. 聪明,柯蒂斯;科茨里亚斯,伊利亚;海因勒,阿尔伯特;Ganesh,Vijay:长度为28的复杂Golay对:通过计算机代数和程序SAT进行搜索(2021)
  3. 卡利梅里,弗朗西斯科;卡特鲁乔,弗朗西斯科;西内利,卢卡;马尔祖罗,阿尔多;雄蕊,克劳迪奥;泰拉契纳,乔治;杜兰德杜比夫,弗朗索瓦;Sappey Marinier,Dominique:利用神经网络研究神经疾病进化的逻辑框架(2021)
  4. 巴博萨,哈尼尔;布兰切特,贾斯敏·克里斯蒂安;弗勒里,马蒂亚斯;方丹,帕斯卡:公式处理的可伸缩细粒度证明(2020)
  5. 聪明,柯蒂斯;科茨里亚斯,伊利亚;Ganesh,Vijay:将带有SAT解算器的计算机代数系统应用于Williamson猜想(2020)
  6. 达文波特,詹姆斯H.(编辑);英国,马修(编辑);格里吉奥,阿尔贝托(编辑);斯图姆,托马斯(编辑);蒂内利,塞萨尔(编辑):编辑:符号计算和可满足性检验(2020)
  7. 英格兰,马修;布拉德福德,拉塞尔;Davenport,James H.:带等式约束的柱形代数分解(2020)
  8. 哈杜,马尔顿;霍佐娃,佩特拉;科瓦茨,劳拉;肖斯沃尔,约翰内斯;Voronkov,Andrei:叠加推理中的归纳与泛化(2020)
  9. Kölbl,马丁;卢伊,斯特凡;Wies,Thomas:TarTar:定时自动修复工具(2020)
  10. 克莱默,格雷恩;Ábrahám,Erika:全增量圆柱代数分解(2020)
  11. 秦旭东;傻了,西蒙;马德兰,埃里克;侯泽臣;邓玉欣;张敏:基于SMT的符号自动机生成(2020)
  12. 塞巴斯蒂安尼,罗伯托;特伦丁,帕特里克:\textsoptimathsat:优化模理论的工具(2020)
  13. 阿玛蒂尼,罗伯托;马克·安德隆;恒河,格雷姆;沙赫特,彼得;桑德加德,哈拉尔德;Stuckey,Peter J.:JavaScript动态符号执行的约束编程(2019)
  14. 巴博萨,哈尼尔;雷诺兹,安德鲁;大牛,大牛;蒂内利,塞萨尔;Barrett,Clark:将SMT解算器扩展到高阶逻辑(2019)
  15. 博拉雷拉斯,克里斯蒂娜;拉拉兹,丹尼尔;罗德里格斯·卡博内尔,恩里克;奥利维拉斯,阿尔伯特;Rubio,Albert:求解整数上非线性公式的不完全SMT技术(2019)
  16. 布埃诺,丹尼斯;Sakallah,Karem A.:EUFORIA:使用非预期功能完成软件模型检查(2019年)
  17. König,芭芭拉;内德科恩,马克西姆;Nolte,Dennis:CoReS:通过SAT/SMT solvers计算核心图的工具(2019)
  18. 尼美兹,艾娜;普雷纳,马蒂亚斯;雷诺兹,安德鲁;佐哈尔,尤尼;巴雷特,克拉克;Tinelli,Cesare:SMT解算器的位宽度独立证明(2019)
  19. 雷格,吉尔斯;Voronkov,Andrei:基于饱和的证据搜索中的归纳法(2019)
  20. 舒尔茨,斯蒂芬;克鲁恩斯,西蒙;Vukmirović,Petar:更快、更高、更强:E2.3(2019年)

1 2 ... 8 9 10 下一个