A numerically exact local solver applied to salt boundary inversion in seismic full-waveform inversion