卡德

CUDD包提供了操作二进制决策图(bdd)[5,3]、代数决策图(ADDs)[1]和零抑制二进制决策图(ZDDs)[12]的函数。bdd用来表示开关函数;加法用于表示从到任意集的函数。ZDDs表示类似BDDs的交换函数;然而,当要表示的函数是多维数据集的特征函数时,或者当要表示的函数的ON集非常稀疏时,它们比bdd更有效。在其他情况下,它们不如bdd。这个包提供了大量关于bdd、ADDs和ZDDs的操作集、将bdd转换为ADDs或ZDDs的函数,以及大量可变的重新排序方法。


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

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

1 2 ... 6 7 8 下一个

  1. 菲尔曼,伊丽莎白;毛兹,沙哈尔;Risert和Risert相关算法(2020年1月)
  2. 雅各布斯,瑞典人;Sakr,Mohammad:一种用于惰性合成渴望策略的符号算法(2020)
  3. 卢滕伯格,迈克尔;梅耶,菲利普J。;Sickert,所罗门:通过平价博弈从LTL规范实际合成反应系统(2020)
  4. 波扎诺,马可;亚历山德罗·西马蒂;Mattarei,Cristian:冗余架构的形式可靠性分析(2019)
  5. Á. 托拉巴,Á利瓦罗;ó佩兹,卡洛斯·利纳雷斯;Borrajo,Daniel:成本优化规划的符号周界抽象启发法(2018)
  6. 布洛姆,罗德里克;查特吉,克莉什南杜;Jobstmann,Barbara:图形游戏和反应合成(2018)
  7. Čák、 彼得;洛穆西奥,阿莱西奥;莫加韦罗,法比奥;Murano,Aniello:根据\textscslks规范对多智能体系统进行实际验证(2018年)
  8. 查基,萨加尔;Gurfinkel,Arie:基于BDD的符号模型检查(2018)
  9. 内托,塞巴斯蒂奥M。;Zá比率,路易斯·E。;宋,马克A。J、 :通过二进制决策图在形式概念分析中处理高维上下文(2018)
  10. 范本瑟姆,约翰;范艾克,一月;加廷格,马尔文;苏凯乐:动态认知逻辑的符号模型检验——S5及其以后(2018)
  11. 吴奕钦;拉曼,血管瘤;罗林斯,布莱克·C。;拉福,圣é潘恩;Seshia,Sanjit A.:综合模糊处理策略以确保隐私和实用性(2018)
  12. 查克拉波蒂,上提克;哈西达什维利,祖拉布;塞格,卡尔·约翰H。;加贾韦利,拉杰库马尔;哈尔丹卡尔,坦梅;查塔尼,迪内什;Mistry,Rakesh:单词级验证的符号轨迹评估:理论与实现(2017)
  13. 达尔,吉索·H。;卢卡斯,彼得J。F、 :用于精确概率推断的加权正二元决策图(2017)
  14. 久津、大谷;Yamamoto,Akihiro:使用二进制决策图进行离群值检测(2017)
  15. 托拉巴,Á利瓦罗;Alc公司á扎尔,维达尔;基斯曼,彼得;Edelkamp,Stefan:成本最优规划的有效符号搜索(2017)
  16. 约翰,阿吉思K。;Chakraborty,Superatik:从线性模约束中消除量词的分层算法(2016)
  17. 伦格,马提亚斯;Zamani,Majid:SCOTS:符号控制器合成工具(2016)
  18. 阿布贾拉德,福阿德;林一燕;Bonakdarpour,Borzoo;Kulkarni,Sandeep S.:在没有明确合法状态的情况下自动添加容错的复杂性(2015)
  19. 戈什,卡姆莱什;达斯古塔,帕拉布;Ramesh,S.:自动化规划作为分布式控制的早期验证工具(2015)
  20. ę滑雪,阿图尔;彭泽克,沃伊切赫;Rozenberg,Grzegorz:模型检验反应系统的时间特性(2015)

1 2 ... 6 7 8 下一个


更多出版物请访问:http://vlsi.colorado.edu/~fabio/CUDD/node7.html