Algebraic and Uniqueness Properties of Parity Ordered Binary Decesion Diagrams and Their Generalization

Abstract

We give a faster algorithm for minimization of parity OBDDs we introduce and investigate their new generalization.