Sympathy: fast exact minimization of fixed polarity Reed-Muller expressions for symmetric functions | IEEE Conference Publication | IEEE Xplore