Optimal variable ordering in ZBDD-based path representations for directed acyclic graphs.
Stelios N. NeophytouMaria K. MichaelPublished in: ICCD (2014)
Keyphrases
- directed acyclic graph
- variable ordering
- equivalence class
- optimal solution
- minimum cost
- branch and bound algorithm
- conditional independence
- random variables
- shortest path
- worst case
- equivalence classes
- dynamic programming
- propositional satisfiability
- metaheuristic
- undirected graph
- genetic algorithm
- conflict directed