
PRISM
 Referenced in 423 articles
[sw01186]
 engines: one symbolic, using BDDs (binary decision diagrams) and MTBDDs (multiterminal BDDs); one based...

CUDD
 Referenced in 148 articles
[sw04446]
 package provides functions to manipulate Binary Decision Diagrams (BDDs) [5,3], Algebraic Decision Diagrams (ADDs ... Zerosuppressed Binary Decision Diagrams (ZDDs) [12]. BDDs are used to represent switching functions; ADDs...

PolyBoRi
 Referenced in 48 articles
[sw00723]
 polynomials based on zerosuppressed binary decision diagrams, which are capable of handling these polynomials...

FeynArts
 Referenced in 110 articles
[sw06474]
 fully general diagram generator. To achieve this, he implemented some decisive new ideas [Eck95...

FODDPlanner
 Referenced in 14 articles
[sw07747]
 Probabilistic relational planning with first order decision diagrams Dynamic programming algorithms have been successfully applied ... using compact representations, in particular algebraic decision diagrams, to capture domain dynamics and value functions ... introduced a first order variant of decision diagrams (FODD) and developed a value iteration algorithm...

BuDDy
 Referenced in 22 articles
[sw05791]
 from a simple introduction to Binary Decision Diagrams (BDDs) to a full blown BDD package...

Supremica
 Referenced in 15 articles
[sw18546]
 efficient data structure, a binary decision diagram, to symbolically represent the reachable states. Models...

libDDD
 Referenced in 8 articles
[sw04096]
 library for manipulation of decision diagrams. Main features include:Flexible and powerful encoding of operations ... length decision paths; Supports both Data Decision Diagrams which are integer valued and Hierarchical ... Decision Diagrams...

azove
 Referenced in 12 articles
[sw04634]
 tasks can be accomplished using binary decision diagrams (BDDs), a very popular and effective datastructure...

QMDD
 Referenced in 7 articles
[sw12911]
 QMDD: a decision diagram structure for reversible and quantum circuits. In this paper, we present ... novel structure, QuantumMultiple valued Decision Diagrams (QMDD), specifically designed to represent and manipulate the matrices ... multiplevalued. QMDD use many common decision diagram techniques, ideas introduced in QuIDDPro and novel...

STR2
 Referenced in 10 articles
[sw14873]
 developed algorithm based on multivalued decision diagrams (MDDs), we show that both approaches...

DSSZMC
 Referenced in 6 articles
[sw01360]
 oriented implementation of Zerosuppressed Binary Decision Diagrams and Interval Decision Diagrams. The main features...

CirCUs
 Referenced in 9 articles
[sw00128]
 Normal Form (CNF) clauses, and Binary Decision Diagrams (BDDs). We show how BDDs are used ... sizes. If clustering results in a single diagram, the SAT instance is solved directly. Otherwise ... BDDs. We also describe a new decision variable selection heuristic that is based on recognizing...

STCT
 Referenced in 9 articles
[sw02293]
 embodiment in integer decision diagrams (IDDs) as the basic data structure...

MARCIE
 Referenced in 8 articles
[sw12882]
 models are based on Interval Decision Diagrams. They are complemented by simulative and approximative engines...

Synthia
 Referenced in 8 articles
[sw12933]
 enables a clean combination of binary decision diagrams with difference bound matrices for a symbolic...

SyReC
 Referenced in 5 articles
[sw23569]
 representations, like e.g., truth tables or decision diagrams. In this chapter, we propose the programming ... limits caused by truth tables or decision diagrams...

FIREMAN
 Referenced in 7 articles
[sw10594]
 modeling firewall rules using binary decision diagrams (BDDs), which have been used successfully in hardware...

GeNIe
 Referenced in 7 articles
[sw13964]
 GeNie Modeler is a decision modeling environment implementing influence diagrams and Bayesian networks, developed ... Decision Systems Laboratory, University of Pittsburgh, and licensed since 2015 to BayesFusion ... tutorials for Bayesian networks, influence diagrams, and basic decision analytic techniques. GeNie Modeler implements multi ... implementation of all influence diagrams from the textbook Making Hard Decisions by Robert T. Clemen...

SMCDEL
 Referenced in 6 articles
[sw29077]
 formulas which are represented as Binary Decision Diagrams (BDDs). You can try SMCDEL online here...