scientific article; zbMATH DE number 1423226
From MaRDI portal
Publication:4946958
zbMath1025.94515MaRDI QIDQ4946958
Tiziano Villa, Timothy Kam, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton
Publication date: 20 November 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algorithmsBoolean functionsdirected acyclic graphgraph algorithmsbinary decision diagramsoptimization methodsmulti-valued logicminimization methodslogic functionsmulti-valued functionsmulti-valued decision diagram
Combinatorial optimization (90C27) Graph algorithms (graph-theoretic aspects) (05C85) Applications of graph theory to circuits and networks (94C15)
Related Items (15)
Symbolic Termination and Confluence Checking for ECA Rules ⋮ Binary Decision Diagrams ⋮ Exploiting interleaving semantics in symbolic state-space generation ⋮ The footprint form of a matrix: definition, properties, and an application ⋮ Constraint-Based Inference in Probabilistic Logic Programs ⋮ Efficient operations between MDDs and constraints ⋮ Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications ⋮ A decision diagram operation for reachability ⋮ Improving Saturation Efficiency with Implicit Relations ⋮ Dynamically consistent reduction of logical regulatory graphs ⋮ Petri net representation of multi-valued logical regulatory graphs ⋮ Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams ⋮ Symbolic Reachability Analysis of Integer Timed Petri Nets ⋮ Generalized Hypertree Decomposition for solving non binary CSP with compressed table constraints ⋮ Discrete Optimization with Decision Diagrams
This page was built for publication:
