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

Minh Lê Josef Weidendorfer Max Walter

Published in: DSN (2014)

Keyphrases

variable ordering
binary decision diagrams
conflict directed
branch and bound algorithm
forward checking
boolean functions
lower bound
max sat
special case
optimal solution
upper bound
data streams
propositional satisfiability
breadth first search