Extending Graphic Correlation to Many Dimensions: Stratigraphic Correlation as Constrained Optimization