A Novel Variable Ordering Heuristic for BDD-based K-Terminal Reliability.

Minh L, Josef Weidendorfer, Max Walter

Browse the full DSN paper archive.