''Pseudo-Boolean Approach to Solving Reliability Problems''
Jerry L. Trahan
ESREL'97, European Safety and Reliability Conf.,
(Lisbon, Portugal, July 1997)
This paper discusses a new approach to translate the Boolean expression
representing the fault-tree or graph-model, G, of a system,
which satisfies a reliability parameter, into a polynomial expression.
We use a small set of rules to achieve this translation. These rules
are not entirely Boolean, hence the approach is termed as
pseudo-Boolean. It possesses the advantage of not needing to
perform any Boolean simplification and of being quite general,
being efficient in application to solving certain classes of expressions.
Our comparison with existing techniques shows these merits of the