A Linear Time Algorithm for Smallest Augmentation to 3Edge-Connect a Graph (Special Section on Discrete Mathematics and Its Applications)