Optimal variable ordering in ZBDD-based path representations for directed acyclic graphs.

Stelios N. Neophytou, Maria K. Michael

Browse the full ICCD paper archive.