This extended abstract summarizes the research done [1][2][3] in an effort to develop scalable approaches to select few computationally hard problems from the domains of linear algebra and graph ...

A module of a fault tree is a subtree whose terminal events do not occur elsewhere in the tree. Modules, which are independent subtrees, can be used to reduce the computational cost of basic ...