Christoph Meinel, Klaus Schwettmann, Anna Slobodová. Application Driven Variable Reordering and an Example Implementation in Reachability Analysis. In Proceedings of the 1999 Conference on Asia South Pacific Design Automation, January 18-21, 1999, Wanchai, Hong Kong. pages 327-330, IEEE, 1999. [doi]
Abstract is missing.