Efficient and Automated Multimodal Satellite Data Registration through MRFs and Linear Programming | Synapse