发布文献求助
求助中
  • 文献求助详情
标题
Multi-valued decision diagrams: theory and applications
多值决策图：理论与应用
相关领域
影响图 计算机科学 决策论 决策分析 数学 数理经济学 统计
网址
https://iris.univr.it/handle/11562/318752
AI链接 univr.it
DOI
暂未提供，该求助的时间将会延长，查看原因？
其它 期刊：
作者：Timothy Kam; Tiziano Villa; Robert K. Brayton; Alberto Sangiovanni‐Vincentelli
出版日期：1998-01-01
求助人
XBL 在 2024-11-20 16:59:34 发布自天津，悬赏 10 积分
下载 暂无链接，等待应助者上传
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
相关文献
  1. Petri nets: Properties, analysis and applications
  2. Graph-Based Algorithms for Boolean Function Manipulation
  3. Model checking
  4. Symbolic model checking
  5. Symbolic model checking: 1020 States and beyond
  6. Symbolic Boolean manipulation with ordered binary-decision diagrams
  7. Dynamic variable ordering for ordered binary decision diagrams
  8. On the stochastic structure of parallelism and synchronization models for distributed algorithms
  9. Symbolic Model Checking with Partitioned Transistion Relations.
  10. Representations of Discrete Functions
  11. Efficient Reachability Set Generation and Storage Using Decision Diagrams
  12. Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Mode...
  13. Petri net analysis using boolean manipulation
  14. Saturation: An Efficient Iteration Strategy for Symbolic State—Space Generation
  15. Edge-valued binary decision diagrams for multi-level hierarchical verification
  16. Logic and stochastic modeling with S m A r T
  17. Saturation Unbound
  18. Efficient Symbolic State-Space Construction for Asynchronous Systems
  19. Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths
  20. On the optimization of heterogeneous MDDs
　...点击展开更多...　
求助 / 应助时间线

  • 现在，等待您上传文献

  • 4小时前

    科研通AI2.0 科研通AI2.0 机器人 机器人下载超时，请等待人工应助

    17:19:35 机器人下载超时，请等待人工应助
    16:59:35 科研通AI机器人（日本 东京）收到请求，开始寻找文献
    16:59:35 未找到该文献，机器人已退出，请等待人工下载
    16:59:34 已向机器人发送请求

  • 4小时前

    XBL XBL 求助人 Lv51 发起了本次求助

更新
大幅提高文件上传限制，最高150M (2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
烟花的应助被Eyring_go采纳，获得10
刚刚
Hongni发布了新的文献求助10
刚刚
1秒前
1秒前
科目三的应助被醋醋采纳，获得10
1秒前
3秒前
万能图书馆的应助被VitaminK采纳，获得10
3秒前
杨嘉琪完成签到 ，获得积分10
3秒前
思源的应助被key采纳，获得10
4秒前
酷酷的涵蕾完成签到 ，获得积分10
5秒前
桂花酒酿完成签到，获得积分10
5秒前
852的应助被木榕城采纳，获得10
6秒前
6秒前
win完成签到，获得积分10
6秒前
酷炫小伙发布了新的文献求助10
7秒前
7秒前
liberty发布了新的文献求助10
8秒前
doubleshake发布了新的文献求助10
8秒前
Teanka完成签到，获得积分10
8秒前
8秒前
隐形曼青的应助被少时4EVA采纳，获得10
10秒前
11秒前
明理十三发布了新的文献求助10
11秒前
未来院士发布了新的文献求助10
11秒前
文静丹寒完成签到，获得积分10
11秒前
耍酷以柳发布了新的文献求助10
11秒前
Aspirin完成签到 ，获得积分10
12秒前
13秒前
kelezhu给kelezhu的求助进行了留言
13秒前
lulu完成签到，获得积分20
13秒前
CipherSage的应助被03采纳，获得10
14秒前
14秒前
15秒前
明理十三完成签到，获得积分10
17秒前
无尘发布了新的文献求助10
18秒前
踏实天空发布了新的文献求助50
18秒前
key发布了新的文献求助10
18秒前
18秒前
可靠凤发布了新的文献求助10
19秒前
20秒前
高分求助中
Shape Determination of Large Sedimental Rock Fragments 2000
Sustainability in Tides Chemistry 2000
Rechtsphilosophie 1000
Bayesian Models of Cognition:Reverse Engineering the Mind 888
A Dissection Guide & Atlas to the Rabbit 600
Very-high-order BVD Schemes Using β-variable THINC Method 568
Mantiden: Faszinierende Lauerjäger Faszinierende Lauerjäger 500
热门求助领域 （近24小时）
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号，转发送积分 3129513
求助须知：如何正确求助？哪些是违规求助？ 2780318
关于积分的说明 7747496
捐赠科研通 2435637
什么是DOI，文献DOI怎么找？ 1294181
科研通“疑难数据库（出版商）”最低求助积分说明 623590
版权声明 600570
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：826996720【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通