Composition Trees in Finding Best Variable Orderings for ROBDDs

• Authors:

• E. Dubrova

• Affiliations:

• Department of Microelectronics and Information Technology, Royal Institute of Technology, Stockholm, Sweden

• Venue:
• Proceedings of the conference on Design, automation and test in Europe
• Year:
• 2002