A. Brogle

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

C. Scholl, B. Becker, A. Brogle, 2001, Proceedings of the ASP-DAC 2001. Asia and South Pacific Design Automation Conference 2001 (Cat. No.01EX455).

Solving the Multiple Variable Order Problem for Binary Decision Diagrams by Use of Dynamic Reordering Techniques

Bernd Becker, Christoph Scholl, B. Becker, 1999 .