Efficient minimization algorithms for fixed polarity AND/XOR canonical networks | IEEE Conference Publication | IEEE Xplore