Efficient manipulation of decision diagrams
From MaRDI portal
Publication:1606804
DOI10.1007/s100090100042zbMath1002.68585OpenAlexW212786159MaRDI QIDQ1606804
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
Computer science aspects of computer-aided design (68U07) Computing methodologies and applications (68U99)
Related Items (9)
Bounded model checking of infinite state systems ⋮ Binary Decision Diagrams ⋮ Checking Reversibility of Boolean Functions ⋮ Unnamed Item ⋮ Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. ⋮ MAP Inference for Probabilistic Logic Programming ⋮ Ancilla-free synthesis of large reversible functions using binary decision diagrams ⋮ Chain reduction for binary and zero-suppressed decision diagrams ⋮ Reordering decision diagrams for quantum computing is harder than you might think
Uses Software
This page was built for publication: Efficient manipulation of decision diagrams
