E Chatelet, Y Dutuit, A Rauzy,
T Bouhoufani - Reliability Engineering & …, 1999 - Elsevier
This article describes an efficient procedure, the so-called Semi-Optimal Disjunction
Approach (SODA), to generate a sum of the disjoint products (SDP) from a set of minimal …