卡德

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


zbMATH参考文献(148篇文章引用)

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

1 2 ... 6 7 8 下一个

  1. Firman,Elizabeth;Maoz,Shahar;Ringert,Jan Oliver:GR(1)合成和相关算法的性能启发式(2020)
  2. Jacobs,Swen;Sakr,Mohammad:一种用于惰性合成渴望策略的符号算法(2020)
  3. Luttenberger,Michael;Meyer,Philipp J.;Sickert,Salomon:通过平价博弈从LTL规范中实际合成反应系统(2020年)
  4. Marco Bozzano;Cimatti,Alessandro;Mattarei,Cristian:冗余架构的形式可靠性分析(2019)
  5. Á. Torralba,Álvaro;López,Carlos Linares;Borrajo,Daniel:用于成本优化规划的符号周界抽象启发法(2018)
  6. Bloem,Roderick;Chatterjee,Krishnendu;Jobstmann,Barbara:图形游戏和反应合成(2018)
  7. 乔尔姆萨克,佩特;洛穆西奥,阿莱西奥;莫加韦罗,法比奥;穆拉诺,阿尼埃洛:多智能体系统与规范的实际验证(2018)
  8. Chaki,Sagar;Gurfinkel,Arie:基于BDD的符号模型检查(2018)
  9. Neto,Sebastiao M.;Zárate,Luis E.;Song,Mark A.J.:通过二进制决策图在形式概念分析中处理高维上下文(2018)
  10. 2018年1月,《符号逻辑》和《约翰·特姆提克和《圣经》;约翰·特曼蒂克和《超越的圣经》;2018年1月
  11. Wu,Yi Chin;Raman,Vasumathi;Rowlings,Blake C.;Lafortune,Stéphane;Seshia,Sanjit A.:模糊处理策略的综合,以确保隐私和效用(2018)
  12. Chakraborty,Supratik;Khasidashvili,Zurab;Seger,Carl Johan H.;Gajavelly,Rajkumar;Haldankar,Tanmay;Chhatani,Dinesh;Mistry,Rakesh:单词级验证的符号轨迹评估:理论与实现(2017)
  13. Dal,Giso H.;Lucas,Peter J.F.:用于精确概率推断的加权正二元决策图(2017)
  14. Kutsuna,Takuro;Yamamoto,Akihiro:使用二进制决策图的异常值检测(2017)
  15. Torralba,Álvaro;Alcázar,Vidal;Kissmann,Peter;Edelkamp,Stefan:成本最优规划的有效符号搜索(2017)
  16. John,Ajith K.;Chakraborty,Superatik:从线性模约束中消除量词的分层算法(2016)
  17. Runger,Matthias;Zamani,Majid:SCOTS:符号控制器合成工具(2016)
  18. Abujarad,Fuad;Lin,Yiyan;Bonakdarpour,Borzoo;Kulkarni,Sandeep S.:在没有明确合法状态的情况下自动添加容错的复杂性(2015)
  19. Ghosh,Kamalesh;Dasgupta,Pallab;Ramesh,S.:自动化规划作为分布式控制的早期验证工具(2015)
  20. Męski,Artur;Penczek,Wojciech;Rozenberg,Grzegorz:反应系统的模型检验时间特性(2015)

1 2 ... 6 7 8 下一个


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