The multiple variable order problem for binary decision diagrams: theory and practical application. - Christoph Scholl 001; Bernd Becker 001; Andreas Brogle (ASP-DAC, 2001)