CUDD公司 swMATH ID: 4446 软件作者: 法比奥·萨蒙齐 描述: CUDD包提供了操作二进制决策图(BDD)[5,3]、代数决策图(ADD)[1]和零抑制二进制决策图[12]的功能。BDD用于表示开关函数;ADDs用于表示从到任意集合的函数。ZDD表示BDD等开关功能;然而,当要表示的函数是立方体集的特征函数时,或者通常当要表示函数的ON-set非常稀疏时,它们比BDD更有效。在其他情况下,它们不如BDD。该包提供了一组关于BDD、ADD和ZDD的大量操作,用于将BDD转换为ADD或ZDD,反之亦然,以及各种各样的可变重新排序方法。 主页: http://vlsi.colorado.edu/~fabio/CUDD公司/ 编程语言: C++和Perl5 操作系统: 无 依赖项: ANSI C或C++编译器 关键词: 二元决策图;阈值BDD;背包;\(0/1)整数编程;最优变量排序;可变序谱 相关软件: NuSMV公司;自旋蛋白;棱镜;超小卫星;单一;PolyBoRi公司;糠;Uppaal公司;伙计;github;图规划;LTL2BA公司;微控制器;MCMAS公司;z3(零3);智能_;萨特利卜;CacBDD公司;数学SAT5;西尔文 引用于: 157文件 更多出版物: http://vlsi.colorado.edu/~fabio/CUDD/node7.html 全部的 前5名被330位作者引用 7 Marta Z.Kwiatkowska。 7 莫西·亚亚科夫·瓦尔迪 6 亚历山德罗·西马蒂 5 迈克尔·布里肯斯坦 5 阿里·古芬克尔 5 阿莱西奥·洛穆西奥 5 格钦·诺曼 5 马可·罗维里 4 玛莎·契契克 4 马丁·德·沃尔夫 4 劳伦特·多恩 4 亚历山大·德雷耶 4 卡拉广场 4 阿尔贝托,Policriti 三 福阿德·阿布贾拉德 三 加尔阿姆拉姆 三 丹尼尔·布莱斯 三 克里希南德·查特吉 三 吉安弗兰科·西亚多 三 吕迪格·埃勒斯 三 马尔文·加廷格 三 庆蒂里尼、拉斐拉 三 顾天龙 三 托马斯·亨辛格(Thomas A.Henzinger)。 三 Subbarao Kambhampati 三 Sandeep S.Kulkarni。 三 沙哈尔·茂兹 三 伊戈尔·马尔科夫。 三 克里斯托夫·梅内尔 三 Jean-François拉斯金 三 圣米盖尔·阿吉雷,阿方索 三 魏、欧 2 曼内尔·鲍塞尔斯 2 鲁道夫·伯哈默 2 皮耶乔治·贝尔托利 2 罗德里克·布洛姆 2 Randal E.布莱恩特。 2 特维克布尔坦 2 胡安·安东尼奥·卡拉斯科 2 查克拉波蒂,苏普拉特克 2 苏巴希斯·查特吉 2 克里斯蒂安·科尔法 2 卢卡·德·阿尔法罗 2 德米特里厄斯·德莫普洛斯。 2 阿戈斯蒂诺·多维尔 2 克莱门斯·格里普 2 约翰·海耶斯(John P.Hayes)。 2 霍尔格·赫尔曼斯 2 瑞典雅各布斯 2 芭芭拉·乔布斯曼 2 Ondřej Lengál 2 潘国强 2 沃伊切赫,彭泽克 2 撒尿者,或 2 马可·皮斯托雷 2 汉斯·尤根·普雷梅尔 2 曲洪阳 2 文卡塔拉马纳B 2 詹·奥利弗·林格特 2 罗伯特·塞加拉 2 马库斯·西格尔 2 Šimáckek,Jiří 2 安娜·斯洛博多娃 2 大卫·E·史密斯。 2 法比奥·萨蒙齐 2 阿南德·斯利瓦斯塔夫 2 苏凯乐 2 德维卡·苏布拉曼尼亚语 2 保罗·特拉弗索 2 van Benthem,Johan F.A.K。 2 范·艾伊克(Jan van Eijck) 2 乔治·F·维亚蒙特斯。 2 加詹德拉·库马尔·维什瓦卡玛 2 汤姆·沃纳 2 托马斯·沃尔 2 徐周波 1 Á. 阿尔瓦罗·托拉尔巴 1 艺术、忠诚 1 米哈伊尔·艾扎图林 1 维达尔·阿尔卡扎尔 1 玛丽·阿纳斯塔西奥 1 安徒生、亨利克·雷夫 1 Hiroki Arimura 1 弗朗西斯·阿坦波雷 1 达米亚诺·阿佐里尼 1 贝鲁兹·巴巴基 1 克里斯特尔·拜尔 1 苏古曼·班萨尔 1 杰拉德·巴斯勒 1 杰森·鲍姆加特纳 1 贝恩德·贝克尔 1 马库斯·贝勒 1 迪特马尔·伯旺格 1 贝特·博利格 1 斯特凡·博卢斯 1 博尔祖·博纳克达尔普尔 1 约翰·博格斯特罗姆 1 丹尼尔·博拉乔 1 马可·波扎诺 1 布盖琴科,D.Yu。 …还有230多名作者 全部的 前5名43篇连载文章被引用 11 人工智能 10 系统设计中的形式化方法 4 信息处理信件 4 计算的形式方面 三 信息学报 三 离散应用数学 三 信息与计算 三 自动推理杂志 2 Ars Combinatoria公司 2 信息科学 2 编程和计算机软件 2 理论计算机科学 2 符号计算杂志 2 人工智能研究杂志 1 计算机与系统科学杂志 1 纯粹与应用代数杂志 1 运筹学 1 系统和控制信件 1 计算机程序设计科学 1 数学社会科学 1 算法 1 计算机与运筹学 1 国际近似推理杂志 1 逻辑与计算杂志 1 欧洲运筹学杂志 1 分布式计算 1 维斯特尼克圣彼得堡大学。数学 1 应用非经典逻辑杂志 1 启发式杂志 1 约束条件 1 计算系统理论 1 组合优化期刊 1 数据挖掘与知识发现 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 软件杂志 1 量子信息处理 1 应用逻辑杂志 1 理论计算机科学电子笔记 1 离散数学的进展与应用 1 量子信息与计算 1 算法 1 计算机科学前沿 全部的 前5名19个领域引用 143 计算机科学(68-XX) 20 数学逻辑和基础(03-XX) 14 博弈论、经济学、金融和其他社会和行为科学(91-XX) 9 运筹学、数学规划(90-XX) 8 信息与通信理论、电路(94-XX) 6 阶、格、有序代数结构(06-XX) 5 组合数学(05-XX) 4 交换代数(13-XX) 4 系统论;控制(93至XX) 2 数值分析(65-XX) 2 量子理论(81-XX) 1 一般代数系统(08-XX) 1 数论(11-XX) 1 场论和多项式(12-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 范畴理论;同调代数(18-XX) 1 群论与推广(20-XX) 1 统计学(62-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文