SMT-LIB公司

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


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

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

1 2 ... 8 9 10 下一个

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

1 2 ... 8 9 10 下一个