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

DOI10.1109/12.544485zbMath1057.94520WikidataQ59243110 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

Optimization of fixed-polarity Reed-Muller circuits using dual-polarity property, Ordered binary decision diagrams and the Shannon effect