scientific article; zbMATH DE number 1423226

MaRDI QIDQ4946958zbMATH OpenFDO

Authors Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Publication date 20 November 2003

zbMATH Keywords

algorithmsbinary decision diagramsBoolean functionsdirected acyclic graphgraph algorithmslogic functionsminimization methodsmulti-valued decision diagrammulti-valued functionsmulti-valued logicoptimization methods

Mathematics Subject Classification ID

Graph algorithms (graph-theoretic aspects) (05C85) Combinatorial optimization (90C27) Applications of graph theory to circuits and networks (94C15)

Recommendations

• Dynamic Re-Encoding During MDD Minimization
• scientific article; zbMATH DE number 910726
• Binary decision diagrams
• BDDs -- design, analysis, complexity, and applications.
• Binary decision diagrams in theory and practice

Cited in

(41)

• Application of multiroot decision diagrams for integer functions
• A unifying approach to edge-valued and arithmetic transform decision diagrams
• The footprint form of a matrix: definition, properties, and an application
• Efficient operations between MDDs and constraints
• Some notes on the abstraction operation for multi-terminal binary decision diagrams
• Extending compact-diagram to basic smart multi-valued variable diagrams
• From MDD to BDD and arc consistency
• NuMDG: a new tool for multiway decision graphs construction
• Exploiting interleaving semantics in symbolic state-space generation
• Generalized hypertree decomposition for solving non binary CSP with compressed table constraints
• Discrete optimization with decision diagrams
• On CNF encodings of decision diagrams
• Relation Algebras, Matrices, and Multi-valued Decision Diagrams
• DD: a new decision diagram for efficient problem solving in permutation space
• Design of arbiters and allocators based on multi-terminal BDDs
• Binary decision diagrams
• Symbolic termination and confluence checking for ECA rules
• AND/OR Multi-valued Decision Diagrams for Constraint Networks
• AND/OR Multi-valued Decision Diagrams for Constraint Optimization
• Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
• Symbolic Reachability Analysis of Integer Timed Petri Nets
• AND/OR multi-valued decision diagrams (AOMDDs) for graphical models
• scientific article; zbMATH DE number 1129493 (Why is no real title available?)
• Constraint-based inference in probabilistic logic programs
• scientific article; zbMATH DE number 6930340 (Why is no real title available?)
• scientific article; zbMATH DE number 2114155 (Why is no real title available?)
• Decision diagrams and dynamic programming
• An MDD approach to multidimensional bin packing
• Lattice-valued binary decision diagrams
• scientific article; zbMATH DE number 1423225 (Why is no real title available?)
• scientific article; zbMATH DE number 1423229 (Why is no real title available?)
• Multivalued decision diagrams for sequencing problems
• Dynamically consistent reduction of logical regulatory graphs
• A New Approach for the Construction of Multiway Decision Graphs
• Petri net representation of multi-valued logical regulatory graphs
• scientific article; zbMATH DE number 2209882 (Why is no real title available?)
• Non-Abelian groups in optimization of decision diagrams representations of discrete functions
• Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications
• A decision diagram operation for reachability
• Improving Saturation Efficiency with Implicit Relations
• Computing under-approximations of multivalued decision diagrams

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4946958)