Binary decision diagrams in theory and practice

DOI10.1007/s100090100056zbMath1002.68583OpenAlexW34381828MaRDI QIDQ1606800

Rolf Drechsler, Detlef Sieling

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/s100090100056

Mathematics Subject Classification ID

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

Related Items (7)

Partition search for non-binary constraint satisfaction ⋮ Control of parameterized discrete event systems ⋮ Binary Decision Diagrams ⋮ The symbolic algorithms for maximum flow in networks ⋮ Symbolic bounded synthesis ⋮ Unnamed Item ⋮ Symbolic graphs: Linear solutions to connectivity related problems

This page was built for publication: Binary decision diagrams in theory and practice