CUDD

CUDD包提供操作二进制决策图(BDDS)[5,3],代数决策图(Advices)(1),和零抑制二元决策图(ZDDS)[12 ]的功能。BDDS用于表示切换函数;加法用于表示函数到任意集合。ZDDS表示像BDD那样的交换功能;然而,当要表示的函数是立方体集的特征函数时,它们比BDDs更有效,或者一般来说,当要表示的函数的On集合非常稀疏时。在其他情况下,他们不如BDDs。该包提供了大量的BDDS、添加和ZDDS操作,将BDD转换为Advices或ZDDS,反之亦然,以及多种可变的重新排序方法。


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

显示结果1至20的147。
按年份排序(引文
  1. 菲尔曼,伊丽莎白;Maoz,Shahar;Ringert,Jan Oliver:GR(1)合成的性能启发式算法和相关算法(2020)
  2. 雅可布,Swen;SAKR,Mouhammad:一种符号化的急策略合成算法(2020)
  3. Luttenberger,米迦勒;Meyer,Philipp J.;Sickert,萨洛蒙:通过平价博弈从LTL规范实际合成反应系统(2020)
  4. 博扎诺,马珂;CimaTi,Alessandro;MaTaRei,克里斯蒂安:冗余体系结构的形式可靠性分析(2019)
  5. Torralba,L.Valo;L.Pez,Carlos Linares;Borrajo,丹尼尔:成本最优规划的符号周界抽象启发式算法(2018)
  6. Bloem,罗德里克;Chatterjee,Krishnendu;Jobstmann,巴巴拉:图对策和反应合成(2018)
  7. Alessio,MuGaVERO,法比奥;Muro,Aniello:多代理系统对文本SCSLK规范的实用验证(2018)
  8. Chaki,Saar;Gurfkel.ARIE:基于BDD的符号模型检验(2018)
  9. van Benthem,Johan;van Eijck,简;Gattinger,Malvin;Su,凯乐:动态认知逻辑的符号模型检验——S5和Excel(2018)
  10. 吴,Yi Chin;Raman,VasuMathi;罗林斯,Blake C.;LaFrand,StEpPHAN;Sesia,Sanjit A.:为确保隐私和效用的混淆策略的综合(2018)
  11. Chakraborty,Expulk;Khasidashvili,Zurab;Seger,Carl Johan H.;Gajavile,Rajkumar;Haldankar,Tanmay;查塔尼,Dinesh;Misty,RaKeSH:字级验证的符号轨迹评估:理论和实现(2017)
  12. Dal,Giso H.;卢卡斯,Peter J. F.:精确概率推理的加权正二元决策图(2017)
  13. Kutsuna,Tayko;山本,Akihiro:用二元决策图检测离群点(2017)
  14. Torralba,阿尔瓦扎尔,维达尔,基斯曼,彼得;埃德尔坎普,斯特凡:成本最优规划的符号符号搜索(2017)
  15. 约翰,Ajith K.;Chakrabty,ExpultK:一个从线性模块约束中消除量词的分层算法(2016)
  16. Rungor,马蒂亚斯;Zamani,MaigID:SCOTS:符号控制器合成的工具(2016)
  17. 阿布扎拉德,Fuad;林,Yiyan;BunakDa浇注,Borzoo;库尔卡尼,Sandeep S.:没有明确合法状态的自动添加容错的复杂性(2015)
  18. Ghosh,KAMALESH;DasGupTa,Pallab;Ramesh,S.:作为分布式控制的早期验证工具的自动化规划(2015)
  19. M·斯凯,阿图尔;彭泽克,WojiCeh;Rozenberg,GrZeGrz:反应系统时间特性的模型检验(2015)
  20. 庞,陶;段,Zhenhua;刘,萧芳:命题投影时态逻辑的符号模型检查器(2015)

进一步的出版物可以在:http://vLSI.科罗拉多.EDU/~法比奥/cUDD/NODE7.HTML