Solving Large Steiner Triple Covering Problems