• PRISM

  • Referenced in 395 articles [sw01186]
  • engines: one symbolic, using BDDs (binary decision diagrams) and MTBDDs (multi-terminal BDDs); one based...
  • CUDD

  • Referenced in 147 articles [sw04446]
  • package provides functions to manipulate Binary Decision Diagrams (BDDs) [5,3], Algebraic Decision Diagrams (ADDs ... Zero-suppressed Binary Decision Diagrams (ZDDs) [12]. BDDs are used to represent switching functions; ADDs...
  • PolyBoRi

  • Referenced in 43 articles [sw00723]
  • polynomials based on zero-suppressed 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...
  • FODD-Planner

  • 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 ... multiple-valued. QMDD use many common decision diagram techniques, ideas introduced in QuIDDPro and novel...
  • STR2

  • Referenced in 10 articles [sw14873]
  • developed algorithm based on multi-valued decision diagrams (MDDs), we show that both approaches...
  • DSSZ-MC

  • Referenced in 6 articles [sw01360]
  • oriented implementation of Zero-suppressed 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 zero-suppressed binary decision diagrams. We demonstrate the efficacy of our technique...