耶斯

Yice是一个有效的SMT求解器,它决定了包含不可解释函数符号的任意公式的可满足性,包括等式、线性实数和整数算术、标量类型、递归数据类型、元组、记录、扩展数组、固定大小的位向量、量词和lambda表达式。Yice也做MaxSMT(和,双,unSAT核心),并作为一个普通的SAT和Max SAT求解器竞争。


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

显示结果1至20的135。
按年份排序(引文
  1. Boaina,Maria Paola;Graham Lengrand,圣彼得;Shankar,Natarajan:理论驱动下的冲突驱动可满足性:过渡系统和完备性(2020)
  2. Bromberger,马丁;斯特姆,托马斯;魏登巴赫,克里斯托夫:一个完整的和终止的线性整数求解方法(2020)
  3. 杜拉恩,弗朗西斯科;Eker,史提芬;埃斯科巴,圣地亚哥;MaMi'-OLIET,纳西索;MeeGuer-Joee;Rubio,RoueN;塔尔科特,卡洛琳:Mod(2020)中的程序设计和符号计算
  4. Sebastiani,罗伯托;Trentin,帕特里克:TrimeStuffTimaTaSAT:最优化模论的工具(2020)
  5. 塞梅诺夫,亚力山大;奥普申尼科夫,伊利亚;Gribanova,伊琳娜;扎金,奥列格;Kochemazov,斯特潘:SAT离散函数算法描述的翻译和密码分析问题的应用(2020)
  6. 爱科技、N、ZG、伊恩、基塔耶夫、谢尔盖、赞塔玛、汉斯:Word可表示图理论中的计算问题求解(2019)
  7. 波菲尔,Miquel;许多,Felip;维达尔,阿曼达;VialeRT,Matu:新的复杂性结果为UkaseWiCz逻辑(2019)
  8. 光明,柯蒂斯;Okovii,Dragomir〉;Kotsireas,Ilias;GANSIH,Vijay:组合搜索的SAT+CAS方法及其在最佳矩阵中的应用(2019)
  9. Bromberger,马丁;Fleury,马蒂亚斯;施瓦茨,西蒙;韦登巴赫,克里斯托夫:SPASS-SATT。CDCL(LA)求解器(2019)
  10. 卡尔瓦内斯,迭戈;吉拉第,西尔维奥;吉安诺拉,Alessandro;蒙塔利,马珂;Rivkin,安德烈:从模型完备性到数据感知过程的验证(2019)
  11. 卢卡斯,萨尔瓦多:自动生成具有年龄的逻辑模型(2019)
  12. Hirokawa,Nao;纳赫勒,朱利安;van Oostrom,Vincent;Oyamaguchi,Michio:临界配对分析汇合(2019)
  13. 小林定人,Koichi:利用反馈顶点集和模型降阶设计布尔网络中的不动点(2019)
  14. 雷诺兹,安得烈;Kuncak,维克托;Tinelli,塞萨雷;巴雷特,克拉克;威慑,摩根:SMT中的驳斥式综合(2019)
  15. 王,闻喜;S·Nordar,哈拉尔德;Stuckey,Peter J.:WouBIT:使用字级传播的组合比特向量求解器(2019)
  16. 巴雷特,克拉克;Tinelli,CeSEAR:可满足性模理论(2018)
  17. 程,奚;周,闽;宋,Xiaoyu;顾,明;孙,夹谷昂:并行化SMT求解:懒惰分解与调和(2018)
  18. Faghih,FaTiyyh;BoakDaLip,Borzoo;TixuIIL,Sebastien;KulkNi,Sandeep:自动合成分布式自稳定协议(2018)
  19. 手指,马塞洛;Preto,桑德罗:大概一半正确:概率满足可比性:UkaseWiCz无限值逻辑(2018)
  20. 葛晶,马,菲菲;张,彭;张,建:SMT(LA)约束解空间容量的计算与估计(2018)