SMT-LIB

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


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

显示结果1至20的161。
按年份排序(引文
  1. Amadini,罗伯托;安德隆,麦克;Gange,格雷姆;沙希特,彼得;S NordGARD,哈拉尔德;Stuckey,Stuckey:JavaScript动态符号执行的约束编程(2019)
  2. BueNo,丹尼斯;Sakallah,Karem A.:EUFROIA:完整的软件模型检查与未解释的功能(2019)
  3. 巴巴拉,Nekkordn,Maxime;NoLTE,丹尼斯:核心:通过SAT/SMT求解器计算核心图的工具(2019)
  4. Bansal,Kshitij;巴雷特,克拉克;雷诺兹,安得烈;Tinelli,CeSARE:SMT(2018)中的有限集推理和基数约束
  5. 巴雷特,克拉克;Tinelli,CeSEAR:可满足性模理论(2018)
  6. Blanchette,Jasmin Christian;Peltier,尼古拉斯;罗比拉德,西蒙:用数据类型和协数据类型叠加(2018)
  7. 布兰德尔、弗洛里安、勃兰特、菲利克斯、Eberl、曼努埃尔、盖斯特、克里斯汀:通过SMT求解证明效率与战略不相容的不相容性(2018)
  8. 卡德里耶,拉斐尔:Meta DeDukTI的策略和证书(2018)
  9. Echenim,Mnacho;Peltier,尼古拉斯;Sellami,YANIS:蕴涵的生成模理论的通用框架(2018)
  10. Gleiss,伯恩哈德;KoaCCS,劳拉;Rabialdand西蒙:迭代迭代的量化分析(2018)
  11. Gupta,Subhani;SaxENA,Aseem;Mahajan,Anmol;BaSAL,SoRava:有效地使用SMT求解器通过不变草图和查询分解进行程序等价性检查(2018)
  12. 洪,胡恩;斯特姆,托马斯:有符号参数多项式不等式组的正解(2018)
  13. 巴巴拉,Nekkordn,Maxime;NoLTE,丹尼斯:核心:通过SAT/SMT求解器计算核心图的工具(2018)
  14. Kotelnikov,Evgenii;Koa'cs,劳拉;Voronkov,安德列:命令程序下一个状态关系的愚蠢编码(2018)
  15. Kremer,Gereon;Braaam,埃里卡:用TBEBFSMT RAT解决模块化战略SMT(2018)
  16. 劳科,亨里奇;罗凯,彼得;巴纳特,姬:程序转换符号计算(2018)
  17. Niewiadomski,阿图尔;Switalski,Piotr;SIDORUK,Teofil;PunZek,WojiCe:SMT求解器:编码和解决NP和ExpTimes中的选择问题(2018)
  18. Or麟,James B.;Subramani,K.;WojiCioWoKi,PIOTR:寻找网络中最短负成本循环的随机化算法(2018)
  19. 雷诺兹,安得烈;Viswanathan,阿尔俊;巴博萨,汉尼尔;Tinelli,塞萨雷;巴雷特,克拉克:共有选择器(2018)
  20. Vale安立奎,费尔南多;布朗,Christopher W.:Trac-ScTalkScript中的多项式约束和UNSAT核(2018)