Tsinghua University Press Ltd. - Efficient heuristic variable ordering of OBDDs

Author(s): Wangning Long ; Yinghua Min ; Jinian Bian ; Shiyuan Yang ; Hongxi Xue
Publisher: Tsinghua University Press Ltd.
Publication Date: 1 June 2000
Volume: 5
Page(s): 211 - 216
ISSN (Electronic): 1007-0214

An efficient heuristic algorithm for variable ordering of OBDDs, the WDHA (Weight-and-Distance based Heuristic Algorithm), is presented. The algorithm is based on the heuristics implied in... View More