×

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多名作者

按年份列出的引文