Stelios N. Neophytou, Maria K. Michael. Optimal variable ordering in ZBDD-based path representations for directed acyclic graphs. In 32nd IEEE International Conference on Computer Design, ICCD 2014, Seoul, South Korea, October 19-22, 2014. pages 489-492, IEEE, 2014. [doi]
Abstract is missing.