Fast OFDD-based minimization of fixed polarity Reed-Muller expressions | IEEE Journals & Magazine | IEEE Xplore