Resolving the Network Reliability Problem with a Tree Decomposition of the Graph.
Jean-Francois ManouvrierCorinne LucetPublished in: OPODIS (1997)
Keyphrases
- tree decomposition
- tree width
- network reliability
- graph theory
- constraint networks
- decomposition method
- probabilistic reasoning
- branch and bound
- parallel processing
- transmission line
- ip networks
- decomposition methods
- constraint satisfaction problems
- answer set programming
- computer networks
- temporal reasoning
- network topologies
- search algorithm
- lower bound
- data transmission
- network topology
- first order logic
- upper bound
- special case
- search space