SMT-LIB

SMT-LIB是建立在期望公共标准的可用性和基准库的基础上,将极大地促进SMT系统的评估和比较,并以与TPTP库已经完成的定理证明相同的方式推进该领域的最新进展。或者SATLIB库最初为SAT.


ZBMaCT中的参考文献(177篇文章中引用)

显示结果1至20的177。
按年份排序(引文
  1. 巴博萨,汉尼尔;Blanchette,Jasmin Christian;Fleury,马蒂亚斯;方丹,Pascal:公式处理的可伸缩细粒度证明(2020)
  2. 布赖特,柯蒂斯;Kotsireas,Ilias;GANSIH,Vijay:将计算机代数系统与SAT求解器应用于威廉姆森猜想(2020)
  3. Davenport,James H.;英国,马修;Grigio,阿尔伯托;斯特姆,托马斯;Tinelli,Case:符号计算和可满足性检查(2020)
  4. 英国,马修;布拉德福德,罗素;Davenport,James H.:带等式约束的柱面代数分解(2020)
  5. Kremer,Gereon;BraaHm,埃里卡:完全增量柱面代数分解(2020)
  6. Sebastiani,罗伯托;Trentin,帕特里克:TrimeStuffTimaTaSAT:最优化模论的工具(2020)
  7. Amadini,罗伯托;安德隆,麦克;Gange,格雷姆;沙希特,彼得;S NordGARD,哈拉尔德;Stuckey,Stuckey:JavaScript动态符号执行的约束编程(2019)
  8. 巴博萨,汉尼尔;雷诺兹,安得烈;El Uououi,丹尼尔;Tinelli,CasARE;巴雷特,克拉克:扩展SMT求解器到高阶逻辑(2019)
  9. BueNo,丹尼斯;Sakallah,Karem A.:EUFROIA:完整的软件模型检查与未解释的功能(2019)
  10. 巴巴拉,Nekkordn,Maxime;NoLTE,丹尼斯:核心:通过SAT/SMT求解器计算核心图的工具(2019)
  11. 尼米茨,Aina;Preiner,马蒂亚斯;雷诺兹,安得烈;ZoHar,Yoni;巴雷特,Po.;,CasRe:指向SMT求解器中的比特宽度独立证明(2019)
  12. 雷格,吉尔斯;Voronkov,安德列:基于饱和的证明搜索中的归纳(2019)
  13. 舒尔茨,Stephan;Curnes,西蒙;VumimiRVi,PATAR:更快,更高,更强:E 2.3(2019)
  14. Trentin,帕特里克;Sebastiani,罗伯托:浮点数理论的最优化模(2019)
  15. Bansal,Kshitij;巴雷特,克拉克;雷诺兹,安得烈;Tinelli,CeSARE:SMT(2018)中的有限集推理和基数约束
  16. 巴雷特,克拉克;Tinelli,CeSEAR:可满足性模理论(2018)
  17. Blanchette,Jasmin Christian;Peltier,尼古拉斯;罗比拉德,西蒙:用数据类型和协数据类型叠加(2018)
  18. 布兰德尔、弗洛里安、勃兰特、菲利克斯、Eberl、曼努埃尔、盖斯特、克里斯汀:通过SMT求解证明效率与战略不相容的不相容性(2018)
  19. 卡德里耶,拉斐尔:Meta DeDukTI的策略和证书(2018)
  20. Echenim,Mnacho;Peltier,尼古拉斯;Sellami,YANIS:蕴涵的生成模理论的通用框架(2018)