Efficient manipulation of decision diagrams
From MaRDI portal
Publication:1606804
DOI10.1007/S100090100042zbMATH Open1002.68585OpenAlexW212786159MaRDI QIDQ1606804FDOQ1606804
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
Recommendations
Computing methodologies and applications (68U99) Computer science aspects of computer-aided design (68U07)
Cited In (18)
- Title not available (Why is that?)
- Computing under-approximations of multivalued decision diagrams
- Title not available (Why is that?)
- Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
- 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
- On the benefits of knowledge compilation for feature-model analyses
- Chain reduction for binary and zero-suppressed decision diagrams
- Title not available (Why is that?)
- Decision diagrams for optimization
- Ancilla-free synthesis of large reversible functions using binary decision diagrams
- Checking Reversibility of Boolean Functions
- MAP inference for probabilistic logic programming
- Data representation and efficient solution: a decision diagram approach
- Interactive Cost Configuration Over Decision Diagrams
- Reordering decision diagrams for quantum computing is harder than you might think
- Bounded model checking of infinite state systems
Uses Software
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)
