Efficient manipulation of decision diagrams

DOI10.1007/S100090100042MaRDI QIDQ1606804zbMATH OpenOpenAlexFDO

Authors Fabio Somenzi

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 https://doi.org/10.1007/s100090100042

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Computer science aspects of computer-aided design (68U07)

Recommendations

• Publication:4934627
• Binary decision diagrams
• Binary decision diagrams in theory and practice
• Binary decision diagrams
• Data representation and efficient solution: a decision diagram approach

Cited in

(18)

• Reordering decision diagrams for quantum computing is harder than you might think
• scientific article; zbMATH DE number 569736 (Why is no real title available?)
• Ancilla-free synthesis of large reversible functions using binary decision diagrams
• A contribution to the use of decision diagrams for loading and mining transaction databases
• Binary decision diagrams
• The footprint form of a matrix: definition, properties, and an application
• Decision diagrams for optimization
• MAP inference for probabilistic logic programming
• Checking Reversibility of Boolean Functions
• Data representation and efficient solution: a decision diagram approach
• scientific article; zbMATH DE number 2209882 (Why is no real title available?)
• Bounded model checking of infinite state systems
• scientific article; zbMATH DE number 7455738 (Why is no real title available?)
• Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
• Computing under-approximations of multivalued decision diagrams
• Interactive Cost Configuration Over Decision Diagrams
• On the benefits of knowledge compilation for feature-model analyses
• Chain reduction for binary and zero-suppressed decision diagrams

Describes a project that uses

Uses Software

• CUDD

This page was built for publication: Efficient manipulation of decision diagrams

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