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

Stephan Waack

Browse the full STACS paper archive.