Smaller sums of disjoint products by subproduct inversion

DOI10.1109/24.44172zbMath0681.90046OpenAlexW1989512626MaRDI QIDQ4731002

K. Heidtmann

Publication date: 1989

Published in: IEEE Transactions on Reliability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/24.44172

zbMATH Keywords

Boolean algebracomputer programsystem reliabilitynetwork reliabilitybinary coherent systemsum of disjoint products

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25)

Related Items (7)

Fast computation of bounds for two-terminal network reliability ⋮ Approximate method to evaluate reliability of complex networks ⋮ Cost-bounded argumentation ⋮ A generalization of the algorithm of Heidtmann to non-monotone formulas ⋮ Calculation of reliability indicators in nonmonotone logical-probabilistic models of multilevel systems ⋮ Using propositional logic to compute probabilities in multistate systems ⋮ Model-based diagnostics and probabilistic assumption-based reasoning

This page was built for publication: Smaller sums of disjoint products by subproduct inversion