1 The set covering problem teaches binary decision variables; that is, they can only be 0 or 1, yes or no.

2 Ordered Binary Decision Diagram ( OBDD ) is one of the most efficient tools for computing network reliability.

3 Ordered binary decision diagrams ( OBDDs ) are a data structure for efficient representation manipulation of Boolean functions.

4 A hierarchical decomposed support vector machines binary decision tree is used for classification.

5 A new dynamic heuristic binary decision diagram ( BDD ) minimization algorithm is proposed.

6 A new algorithm of computing network reliability by using binary decision diagrams ( BDD ) is presented.