On the Influence of the State Encoding on OBDD-Representations of Finite State Machines.

Christoph Meinel, Thorsten Theobald

Browse the full MFCS paper archive.