Decision Diagrams for Discrete Functions: Classification and Unified Interpretation.

Radomir S. Stankovic, Tsutomu Sasao

Browse the full ASPDAC paper archive.