Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines.

Christoph Meinel, Thorsten Theobald

Browse the full FMCAD paper archive.