On the Descriptive and Algorithmic Power of Parity Ordered Binary Decision Diagrams

Stephan Waack. On the Descriptive and Algorithmic Power of Parity Ordered Binary Decision Diagrams. Inf. Comput., 166(1):61-70, 2001.

Abstract

Abstract is missing.