The multiple variable order problem for binary decision diagrams: theory and practical application.

Christoph Scholl, Bernd Becker, Andreas Brogle

Browse the full ASPDAC paper archive.