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

CUDD
 Referenced in 147 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 43 articles
[sw00723]
 polynomials based on zerosuppressed binary decision diagrams, which are capable of handling these polynomials...

FeynArts
 Referenced in 105 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...

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...

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

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...

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...

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

BDDNOW
 Referenced in 6 articles
[sw08898]
 Parallel BDD Package. BDDs (binary decision diagrams) are ubiquitous in formal verification tools...

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

SymChaff
 Referenced in 6 articles
[sw00938]
 theoretic methods, and zerosuppressed binary decision diagrams. We demonstrate the efficacy of our technique...