The Binary Decision Diagram method has been formulated over the last decade. It is the latest methodology developed to overcome the deficiencies of the common fault tree analysis technique. Its advantages include increased efficiency in determining the qualitative characteristics of a failure...

In this paper we consider a labor constrained scheduling problem (LCSP) which is a simplification of a practical problem arising in industry. Jobs are subject to precedence constraints and have specified processing times. Moreover, for each job the labor requirement varies as the job is...