×

CUDD

swMATH ID: 4446
Software Authors: Fabio Somenzi
Description: The CUDD package provides functions to manipulate Binary Decision Diagrams (BDDs) [5,3], Algebraic Decision Diagrams (ADDs) [1], and Zero-suppressed Binary Decision Diagrams (ZDDs) [12]. BDDs are used to represent switching functions; ADDs are used to represent function from to an arbitrary set. ZDDs represent switching functions like BDDs; however, they are much more efficient than BDDs when the functions to be represented are characteristic functions of cube sets, or in general, when the ON-set of the function to be represented is very sparse. They are inferior to BDDs in other cases. The package provides a large set of operations on BDDs, ADDs, and ZDDs, functions to convert BDDs into ADDs or ZDDs and vice versa, and a large assortment of variable reordering methods.
Homepage: http://vlsi.colorado.edu/~fabio/CUDD/
Programming Languages: C++ and Perl5
Operating Systems: None
Dependencies: ANSI C or C++ compiler
Keywords: binary decision diagram; threshold BDD; knapsack; \(0/1\) integer programming; optimal variable ordering; variable ordering spectrum
Related Software: NuSMV; SPIN; PRISM; GitHub; MiniSat; SINGULAR; PolyBoRi; Chaff; BuDDy; SMART_; CacBDD; Uppaal; Graphplan; LTL2BA; MCK; MCMAS; z3; SATLIB; MONA; SMCDEL
Cited in: 159 Documents
Further Publications: http://vlsi.colorado.edu/~fabio/CUDD/node7.html
all top 5

Cited by 340 Authors

8 Vardi, Moshe Ya’akov
7 Kwiatkowska, Marta Z.
6 Cimatti, Alessandro
5 Brickenstein, Michael
5 Gurfinkel, Arie
5 Lomuscio, Alessio
5 Norman, Gethin
5 Roveri, Marco
4 Chechik, Marsha
4 De Wulf, Martin
4 Doyen, Laurent
4 Dreyer, Alexander
4 Piazza, Carla
4 Policriti, Alberto
3 Abujarad, Fuad
3 Amram, Gal
3 Bryce, Daniel
3 Chatterjee, Krishnendu
3 Ciardo, Gianfranco
3 Ehlers, Rüdiger
3 Gattinger, Malvin
3 Gentilini, Raffaella
3 Gu, Tianlong
3 Henzinger, Thomas A.
3 Kambhampati, Subbarao
3 Kulkarni, Sandeep S.
3 Maoz, Shahar
3 Markov, Igor L.
3 Meinel, Christoph
3 Raskin, Jean-François
3 San Miguel Aguirre, Alfonso
3 Wei, Ou
2 Baucells, Manel
2 Berghammer, Rudolf
2 Bertoli, Piergiorgio
2 Bloem, Roderick
2 Bryant, Randal E.
2 Bultan, Tevfik
2 Carrasco, Juan Antonio
2 Chakraborty, Supratik
2 Chatterjee, Subhashis
2 Coarfa, Cristian
2 de Alfaro, Luca
2 Demopoulos, Demetrios D.
2 Dovier, Agostino
2 Gröpl, Clemens
2 Hayes, John P.
2 Hermanns, Holger
2 Jacobs, Swen
2 Jobstmann, Barbara
2 Lengál, Ondřej
2 Pan, Guoqiang
2 Penczek, Wojciech
2 Pistiner, Or
2 Pistore, Marco
2 Prömel, Hans Jürgen
2 Qu, Hongyang
2 Ramana B., Venkata
2 Ringert, Jan Oliver
2 Segala, Roberto
2 Siegle, Markus
2 Šimáček, Jiří
2 Slobodová, Anna
2 Smith, David E.
2 Somenzi, Fabio
2 Srivastav, Anand
2 Su, Kaile
2 Subramanian, Devika
2 Traverso, Paolo
2 van Benthem, Johan F. A. K.
2 van Eijck, Jan
2 Viamontes, George F.
2 Vishwakarma, Gajendra Kumar
2 Vojnar, Tomáš
2 Wahl, Thomas
2 Xu, Zhoubo
1 Á. Torralba, Álvaro
1 Aarts, Fides
1 Aizatulin, Mihhail
1 Alcázar, Vidal
1 Anastacio, Marie
1 Andersen, Henrik Reif
1 Arimura, Hiroki
1 Atampore, Francis
1 Azzolini, Damiano
1 Babaki, Behrouz
1 Baier, Christel
1 Bansal, Suguman
1 Basler, Gérard
1 Baumgartner, Jason
1 Becker, Bernd
1 Behle, Markus
1 Berwanger, Dietmar
1 Bollig, Beate
1 Bolus, Stefan
1 Bonakdarpour, Borzoo
1 Borgström, Johannes
1 Borrajo, Daniel
1 Bozzano, Marco
1 Brand, Sebastiaan
...and 240 more Authors

Citations by Year