Optimal variable ordering in ZBDD-based path representations for directed acyclic graphs | IEEE Conference Publication | IEEE Xplore