Efficient multicut enumeration of k -out-of- n :F and consecutive k -out-of- n :F systems | Publicación