Efficient use of a priori data in sediment tomography through the use of null space | IEEE Conference Publication | IEEE Xplore