缓存BDD swMATH ID: 19401 软件作者： 吕冠峰、苏凯乐、徐燕燕 描述： CacBDD：具有动态缓存管理的BDD包。本文提出了一种新的高效的二进制决策图（BDD）包CacBDD。它实现了一种动态缓存管理算法，该算法考虑了计算表的命中率和可用内存。在组合电路的BDD基准测试和模型检查上的实验表明，CacBDD与最新的BDD包CUDD相比效率更高。 主页： http://link.springer.com/chapter/10.1007/978-3-642-39799-8_15 相关软件： CUDD公司;github;哈斯卡BDD;SMCDEL公司;WhyML公司;Why3号机组;联合尽职调查;BDD公司;禁用JBDD;西尔文;生锈;VeriFast公司;VCC（沃尔沃汽车公司）;电子稳定控制系统/Java;伙计;规格#;达夫尼;标准;演示;MCMAS公司 引用于： 3文件 全部的 前5名6位作者引用 2 马尔文·加廷格 2 苏，凯尔 2 van Benthem，Johan F.A.K。 2 范·艾伊克（Jan van Eijck） 1 莱恩·伦瑞奇 1 保罗·A·G·西维洛蒂。 连载1篇 1 逻辑与计算杂志 在2个字段中引用 三 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文