Recommendations
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
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)