On the descriptive and algorithmic power of parity ordered binary decision diagrams

• Authors:

• Stephan Waack

• Affiliations:

• Georg-August-Univ. Göttingen, Göttingen, Germany

• Venue:
• Information and Computation
• Year:
• 2001