阿维·亚德加
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2010 【b1】 阿维·亚德加 :
模型检查以及三值抽象和精化的新方法。 Technion-以色列理工学院,以色列, 2010
2000 – 2009
2009 【c4】 阿维·亚德加 , 奥尔娜·格伦伯格 , 阿萨夫·舒斯特 :
用于模型检查的混合BDD和全SAT方法。 语言:从形式到自然 2009 : 228-244 2008 【c3】 哈娜·查克勒 , 奥尔娜·格伦伯格 , 阿维·亚德加 :
使用责任制高效自动STE精炼。 TACAS公司 2008 : 233-248 2007 【c2】 奥尔娜·格伦伯格 , 阿萨夫·舒斯特 , 阿维·亚德加 :
用于STE的三值电路SAT,具有自动细化功能。 ATVA公司 2007 : 457-473 2004 【c1】 奥尔娜·格伦伯格 , 阿萨夫·舒斯特 , 阿维·亚德加 :
内存高效的所有解决方案SAT求解器及其在可达性分析中的应用。 FMCAD公司 2004 : 275-289
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)