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; MiniSat; PolyBoRi; SINGULAR; Chaff; BuDDy; LTL2BA; MCK; MCMAS; Graphplan; SATLIB; GitHub; CacBDD; Uppaal; SMART_; CirCUs; JTLV; ABC Cited in: 151 Publications Further Publications: http://vlsi.colorado.edu/~fabio/CUDD/node7.html all top 5 Cited by 314 Authors 7 Kwiatkowska, Marta Z. 7 Vardi, Moshe Ya’akov 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 Bryce, Daniel 3 Chatterjee, Krishnendu 3 Ehlers, Rüdiger 3 Gentilini, Raffaella 3 Gu, Tianlong 3 Henzinger, Thomas A. 3 Kambhampati, Subbarao 3 Kulkarni, Sandeep S. 3 Markov, Igor L. 3 Meinel, Christoph 3 Raskin, Jean-François 3 San Miguel Aguirre, Alfonso 3 Wei, Ou 2 Amram, Gal 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 Ciardo, Gianfranco 2 Coarfa, Cristian 2 de Alfaro, Luca 2 Demopoulos, Demetrios D. 2 Dovier, Agostino 2 Gattinger, Malvin 2 Gröpl, Clemens 2 Hayes, John P. 2 Hermanns, Holger 2 Jacobs, Swen 2 Jobstmann, Barbara 2 Lengál, Ondřej 2 Maoz, Shahar 2 Pan, Guoqiang 2 Penczek, Wojciech 2 Pistore, Marco 2 Prömel, Hans Jürgen 2 Qu, Hongyang 2 Ramana B., Venkata 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 Bugaychenko, D. Yu. 1 Bugaychenko, Dmitry 1 Bulychev, Peter E. ...and 214 more Authors all top 5 Cited in 44 Serials 11 Artificial Intelligence 10 Formal Methods in System Design 4 Information Processing Letters 4 Formal Aspects of Computing 3 Acta Informatica 3 Discrete Applied Mathematics 3 Information and Computation 3 Journal of Automated Reasoning 2 Ars Combinatoria 2 Information Sciences 2 Programming and Computer Software 2 Theoretical Computer Science 2 Journal of Symbolic Computation 2 The Journal of Artificial Intelligence Research (JAIR) 2 1 Journal of Computer and System Sciences 1 Journal of Pure and Applied Algebra 1 Operations Research 1 Systems & Control Letters 1 Science of Computer Programming 1 Mathematical Social Sciences 1 Algorithmica 1 Computers & Operations Research 1 International Journal of Approximate Reasoning 1 Journal of Logic and Computation 1 European Journal of Operational Research 1 Distributed Computing 1 Vestnik St. Petersburg University. Mathematics 1 Journal of Applied Non-Classical Logics 1 Journal of Heuristics 1 Constraints 1 Theory of Computing Systems 1 Journal of Combinatorial Optimization 1 Data Mining and Knowledge Discovery 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming 1 Journal of Software 1 Quantum Information Processing 1 Journal of Applied Logic 1 Electronic Notes in Theoretical Computer Science 1 Advances and Applications in Discrete Mathematics 1 Quantum Information & Computation 1 Algorithms 1 Frontiers of Computer Science all top 5 Cited in 19 Fields 138 Computer science (68-XX) 16 Mathematical logic and foundations (03-XX) 13 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Operations research, mathematical programming (90-XX) 8 Information and communication theory, circuits (94-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 5 Combinatorics (05-XX) 4 Commutative algebra (13-XX) 2 Numerical analysis (65-XX) 2 Quantum theory (81-XX) 2 Systems theory; control (93-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Statistics (62-XX) 1 Biology and other natural sciences (92-XX) Citations by Year