Zero-suppressed BDDs and their applications
From MaRDI portal
Publication:1606803
DOI10.1007/s100090100038zbMath1002.68589MaRDI QIDQ1606803
Publication date: 25 July 2002
Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2115/16895
68P10: Searching and sorting
68U07: Computer science aspects of computer-aided design
68U99: Computing methodologies and applications
Related Items
Decision diagrams for solving a job scheduling problem under precedence constraints, Sequence binary decision diagram: minimization, relationship to acyclic automata, and complexities of Boolean set operations, Characteristics of the maximal independent set ZDD, Constraint-based probabilistic modeling for statistical abduction, Dualization of Boolean functions using ternary decision diagrams, Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications, Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors., Extending greedy feature selection algorithms to multiple solutions, BDD-Based Symbolic Model Checking, P-Semiflow Computation with Decision Diagrams