SMT库

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


zbMATH参考文献(参考 182篇文章

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

1 2 ... 8 9 10 下一个

  1. Bright,Curtis;Kotsireas,Ilias;Heinle,Albert;Ganesh,Vijay:长度为28的复杂Golay对:通过计算机代数和程序SAT进行搜索(2021年)
  2. Barbosa,Haniel;Blanchette,Jasmin Christian;Fleury,Mathias;Fontaine,Pascal:配方加工的可缩放细粒度证明(2020年)
  3. Bright,Curtis;Kotsireas,Ilias;Ganesh,Vijay:将带有SAT解算器的计算机代数系统应用于Williamson猜想(2020)
  4. Davenport,James H.;England,Matthew;Griggio,Alberto;Sturm,Thomas;Tinelli,Cesare:符号计算和可满足性检验(2020)
  5. England,Matthew;Bradford,Russell;Davenport,James H.:带等式约束的柱形代数分解(2020)
  6. Kremer,Gereon;Ábrahám,Erika:完全增量圆柱代数分解(2020)
  7. 秦旭东;Bliudze,Simon;Madelaine,Eric;侯泽晨;邓宇欣;张敏:基于SMT的符号自动机生成(2020)
  8. 塞巴斯蒂安尼,罗伯托;特伦丁,帕特里克:\textsoptimathsat:优化模理论的工具(2020)
  9. Amadini,Roberto;Andrlon,Mak;Gange,Graeme;Schachte,Peter;Søndergaard,Harald;Stuckey,Peter J.:JavaScript动态符号执行的约束编程(2019)
  10. Barbosa,Haniel;Reynolds,Andrew;El Ouraoui,Daniel;Tinelli,Cesare;Barrett,Clark:将SMT求解器扩展到高阶逻辑(2019年)
  11. Borralleras,Cristina;Larraz,Daniel;Rodríguez Carbonell,Enric;Oliveras,Albert;Rubio,Albert:求解整数上非线性公式的不完全SMT技术(2019年)
  12. Bueno,Denis;Sakallah,Karem A.:EUFORIA:使用非预期功能完成软件模型检查(2019年)
  13. König,Barbara;Nederkorn,Maxime;Nolte,Dennis:CoReS:通过SAT/SMT解算器计算核心图的工具(2019年)
  14. Niemetz,Aina;Preiner,Mathias;Reynolds,Andrew;Zohar,Yoni;Barrett,Clark;Tinelli,Cesare:面向SMT解算器的位宽度独立证明(2019)
  15. Reger,Giles;Voronkov,Andrei:基于饱和的证据搜索中的归纳法(2019)
  16. Stephan Schulz;Simon Cruanes;Vukmirović,Petar:更快、更高、更强:E2.3(2019年)
  17. 特伦丁,帕特里克;塞巴斯蒂安,罗伯托:浮点数理论的优化模(2019)
  18. Bansal,Kshitij;Barrett,Clark;Reynolds,Andrew;Tinelli,Cesare:SMT中的有限集和基数约束推理(2018)
  19. Barrett,Clark;Tinelli,Cesare:可满足模理论(2018)
  20. Blanchette,Jasmin Christian;Peltier,Nicolas;Robilard,Simon:数据类型和代码类型的叠加(2018)

1 2 ... 8 9 10 下一个