Fast OFDD-based minimization of fixed polarity Reed-Muller expressions

DOI10.1109/12.544485zbMath1057.94520OpenAlexW2032120110WikidataQ59243110 ScholiaQ59243110MaRDI QIDQ4420806

Rolf Drechsler, Michael Theobald

Publication date: 1996

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/12.544485

zbMATH Keywords

logic synthesis

Mathematics Subject Classification ID

Related Items (4)

Ordered binary decision diagrams and the Shannon effect ⋮ OKFDDs versus OBDDs and OFDDs ⋮ Optimization of fixed-polarity Reed-Muller circuits using dual-polarity property ⋮ On the relation between BDDs and FDDs

This page was built for publication: Fast OFDD-based minimization of fixed polarity Reed-Muller expressions