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.

Authors

Stephan Waack

This author has not been identified. Look up 'Stephan Waack' in Google