依斯

Yices是一个高效的SMT解算器,它可以决定任意公式的可满足性,这些公式包含等式、线性实数和整数算术、标量类型、递归数据类型、元组、记录、扩展数组、固定大小的位向量、量词和lambda表达式。Yices也做MaxSMT(和unsat核心),与普通SAT和MaxSAT解算器相比具有竞争力。


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

显示第1到第20个结果,共141个。
按年份排序(引用)

1 2 ... 6 7 8 下一个

  1. 波拿契娜,玛丽亚·保拉;格雷厄姆·伦格兰德,圣é潘恩;Shankar,Natarajan:冲突驱动的理论组合满意度:过渡系统与完备性(2020)
  2. 布朗伯格,马丁;斯图姆,托马斯;魏登巴赫,克里斯托夫:线性整数求解的一种完整的终结方法(2020)
  3. 加尔瓦内斯,迭戈;吉尔迪,西尔维奥;贾诺拉,亚历山德罗;蒙塔利,马可;Rivkin,Andrey:基于SMT的数据感知过程验证:模型理论方法(2020)
  4. 杜尔án、 弗朗西斯科;埃克,史蒂文;圣地亚哥埃斯科巴;市场í-奥利特,纳西索;梅斯盖尔,乔斯é; 卢比奥,卢布én;Carolyn Talcott:Maude的编程和符号计算(2020)
  5. 塞巴斯蒂安尼,罗伯托;特伦丁,帕特里克:\textsoptimathsat:优化模理论的工具(2020)
  6. 塞门诺夫,亚历山大;奥特普什尼科夫,伊利亚;格里巴诺娃,伊琳娜;扎金,奥列格;Kochemazov,Stepan:将离散函数的算法描述转换为SAT及其在密码分析问题中的应用(2020)
  7. 沃伊切乔夫斯基,皮奥特;钱德拉塞卡兰,R。;Subramani,K.:分析分数喇叭约束系统(2020)
  8. Akg公司ün,Özg公司ür;绅士,伊恩;基塔耶夫,谢尔盖;Zantema,Hans:用词表示图理论解决计算问题(2019)
  9. 波菲尔,米克尔;很多à, 费利普;维达尔,阿曼达;Villaret,Mateu:新的复杂性结果Łukasiewicz逻辑(2019)
  10. 博拉雷拉斯,克里斯蒂娜;拉拉兹,丹尼尔;罗德í盖兹·卡博内尔,恩里克;奥利维拉斯,阿尔伯特;Rubio,Albert:求解整数上非线性公式的不完全SMT技术(2019)
  11. 聪明,柯蒂斯;Đ奥科维ć, 德拉戈米尔Ž.; 科茨里亚斯,伊利亚;Ganesh,Vijay:组合搜索的SAT+CAS方法及其对最佳矩阵的应用(2019)
  12. 布朗伯格,马丁;弗勒里,马蒂亚斯;西蒙,施瓦兹;维登巴赫,克里斯托夫:SPASS-SATT。CDCL(LA)解决方案(2019年)
  13. 加尔瓦内斯,迭戈;吉尔迪,西尔维奥;贾诺拉,亚历山德罗;蒙塔利,马可;Rivkin,Andrey:从模型完整性到数据感知过程的验证(2019)
  14. 古蒂é瑞兹,罗来纳州úl;卢卡斯,萨尔瓦多:自动生成具有年龄的逻辑模型(2019年)
  15. 广川,脑;朱利安纳格尔;范奥斯特罗姆,文森特;Oyamaguchi,Michio:通过临界对分析重新审视汇流(2019年)
  16. Kobayashi,Koichi:使用反馈顶点集和模型约简设计布尔网络中的不动点(2019)
  17. 雷诺兹,安德鲁;昆卡,维克托;蒂内利,塞萨尔;巴雷特,克拉克;Deters,Morgan:SMT中基于反驳的合成(2019)
  18. 王文喜;Sø安德加德,哈拉尔德;Stuckey,Peter J.:Wombit:使用词级传播的投资组合位向量解算器(2019)
  19. 巴雷特,克拉克;Tinelli,Cesare:可满足性模理论(2018)
  20. 程曦;周敏;宋晓宇;顾明;孙佳光:并行化SMT解决:懒惰分解与调解(2018)

1 2 ... 6 7 8 下一个